Cita APA (7a ed.)

Anderson, R. B. (1979). Proving programs correct. John Wiley.

Cita Chicago Style (17a ed.)

Anderson, Robert Brockett. Proving Programs Correct. New York: John Wiley, 1979.

Cita MLA (8a ed.)

Anderson, Robert Brockett. Proving Programs Correct. John Wiley, 1979.