APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.