APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (8e ed.) Bronvermelding

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