Bakker, J. d., Bruin, A. d., & Zucker, J. (1980). Mathematical theory of program correctness. Prentice-Hall.
Citace podle Chicago (17th ed.)Bakker, Jaco de, Arie de Bruin, a Jeffery Zucker. Mathematical Theory of Program Correctness. Englewood Cliffs: Prentice-Hall, 1980.
Citace podle MLA (9th ed.)Bakker, Jaco de, et al. Mathematical Theory of Program Correctness. Prentice-Hall, 1980.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..