APA (7th ed.) Citation

Harel, D., Pnueli, A., & Stavi, J. (1978). A complete axiomatic system for proving deductions about recursive programs. Mass. Inst. of Technology, Laboratory for Computer Science.

Chicago Style (17th ed.) Citation

Harel, David, Amir Pnueli, and Jonathan Stavi. A Complete Axiomatic System for Proving Deductions About Recursive Programs. Cambridge, Mass: Mass. Inst. of Technology, Laboratory for Computer Science, 1978.

MLA (9th ed.) Citation

Harel, David, et al. A Complete Axiomatic System for Proving Deductions About Recursive Programs. Mass. Inst. of Technology, Laboratory for Computer Science, 1978.