APA-Zitierstil (7. Ausg.)

Greif, I. G. (1972). Induction in proofs about programs. Mass. Inst. of Technology, Project MAC.

Chicago-Zitierstil (17. Ausg.)

Greif, Irene Gloria. Induction in Proofs About Programs. Cambridge, Mass: Mass. Inst. of Technology, Project MAC, 1972.

MLA-Zitierstil (9. Ausg.)

Greif, Irene Gloria. Induction in Proofs About Programs. Mass. Inst. of Technology, Project MAC, 1972.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.