APA (7th ed.) Citation

Bakker, J. W. d. (1980). Mathematical theory of program correctness. Englewood Cliffs, NJ u.a.

Chicago Style (17th ed.) Citation

Bakker, Jacobus W. de. Mathematical Theory of Program Correctness. Englewood Cliffs, NJ u.a: Englewood Cliffs, NJ u.a, 1980.

MLA (9th ed.) Citation

Bakker, Jacobus W. de. Mathematical Theory of Program Correctness. Englewood Cliffs, NJ u.a, 1980.

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