APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.