APA (7. basım) Alıntı

de Bakker, J. Mathematical theory of program correctness. Prentice Hall International.

Chicago Style (17. basım) Atıf

de Bakker, Jaco. Mathematical Theory of Program Correctness. Englewood Cliff, New Jersey: Prentice Hall International.

MLA (9th ed.) Atıf

de Bakker, Jaco. Mathematical Theory of Program Correctness. Prentice Hall International.