APA-Zitierstil (7. Ausg.)

Bakker, J. W. d. (1980). Mathematical theory of program correctness (1. print.). Prentice-Hall.

Chicago-Zitierstil (17. Ausg.)

Bakker, Jacobus W. de. Mathematical Theory of Program Correctness. 1. print. Englewood Cliffs, NJ [u.a.]: Prentice-Hall, 1980.

MLA-Zitierstil (9. Ausg.)

Bakker, Jacobus W. de. Mathematical Theory of Program Correctness. 1. print. Prentice-Hall, 1980.