de Bakker, J. Mathematical theory of program correctness. Prentice Hall International.
Citazione stile Chigago Style (17a edizione)de Bakker, Jaco. Mathematical Theory of Program Correctness. Englewood Cliff, New Jersey: Prentice Hall International.
Citatione MLA (9a ed.)de Bakker, Jaco. Mathematical Theory of Program Correctness. Prentice Hall International.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.