APA-Zitierstil (7. Ausg.)

Greif, I. G. (1972). Induction in Proofs about Programs. MIT.

Chicago-Zitierstil (17. Ausg.)

Greif, Irene G. Induction in Proofs About Programs. Cambridge, Mass: MIT, 1972.

MLA-Zitierstil (9. Ausg.)

Greif, Irene G. Induction in Proofs About Programs. MIT, 1972.

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