APA (7th ed.) Citation

Harel, D., & Pratt, V. (1978). Nondeterminism in logics of programs. Mass. Inst. of Technology, Lab. for Computer Science.

Chicago Style (17th ed.) Citation

Harel, David, and Vaughan Pratt. Nondeterminism in Logics of Programs. Cambridge, Mass: Mass. Inst. of Technology, Lab. for Computer Science, 1978.

MLA (9th ed.) Citation

Harel, David, and Vaughan Pratt. Nondeterminism in Logics of Programs. Mass. Inst. of Technology, Lab. for Computer Science, 1978.

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