APA (7th ed.) Citation

Harel, D., Pratt, V., & Meyer, A. R. (1978). Computability and completeness in logics of programs. Mass. Inst. of Technology, Lab. for Computer Science.

Chicago Style (17th ed.) Citation

Harel, David, Vaughan Pratt, and Albert R. Meyer. Computability and Completeness in Logics of Programs. Cambridge, Mass: Mass. Inst. of Technology, Lab. for Computer Science, 1978.

MLA (9th ed.) Citation

Harel, David, et al. Computability and Completeness in Logics of Programs. Mass. Inst. of Technology, Lab. for Computer Science, 1978.