APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Anderson, Robert Brockett. Proving Programs Correct. 1979.

MLA (9th ed.) Citation

Anderson, Robert Brockett. Proving Programs Correct. 1979.

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