Цитирование APA (7-е изд.)

Suzuki, N. (1980). Automatic verification of programs with complex data structures. Garland Pub..

Цитирование в стиле Чикаго (17-е изд.)

Suzuki, Norihisa. Automatic Verification of Programs with Complex Data Structures. New York: Garland Pub., 1980.

Цитирование MLA (8-е изд.)

Suzuki, Norihisa. Automatic Verification of Programs with Complex Data Structures. Garland Pub., 1980.

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.