de Bakker, J. Mathematical theory of program correctness. Prentice Hall International.
Chicago Style (17th ed.) Citationde Bakker, Jaco. Mathematical Theory of Program Correctness. Englewood Cliff, New Jersey: Prentice Hall International.
MLA (9th ed.) Citationde Bakker, Jaco. Mathematical Theory of Program Correctness. Prentice Hall International.
Warning: These citations may not always be 100% accurate.