APA (7th ed.) Citation

Cohn, A. J. (1979). Machine assisted proofs of recursion implementation.

Chicago Style (17th ed.) Citation

Cohn, Avra Jean. Machine Assisted Proofs of Recursion Implementation. 1979.

MLA (9th ed.) Citation

Cohn, Avra Jean. Machine Assisted Proofs of Recursion Implementation. 1979.

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