APA (7th ed.) Citation

Suzuki, N. (1976). Automatic verification of programs with complex data structure.

Chicago Style (17th ed.) Citation

Suzuki, Norihisa. Automatic Verification of Programs with Complex Data Structure. 1976.

MLA (9th ed.) Citation

Suzuki, Norihisa. Automatic Verification of Programs with Complex Data Structure. 1976.

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