APA (7th ed.) Citation

Bates, J. L. (1981). A logic for correct program development.

Chicago Style (17th ed.) Citation

Bates, Joseph L. A Logic for Correct Program Development. Ithaca, NY, 1981.

MLA (9th ed.) Citation

Bates, Joseph L. A Logic for Correct Program Development. 1981.

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