APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.