Shankar, N. (1985). A mechanical proof of the Church-Rosser theorem.
Chicago-Zitierstil (17. Ausg.)Shankar, N. A Mechanical Proof of the Church-Rosser Theorem. Austin, Texas, 1985.
MLA-Zitierstil (9. Ausg.)Shankar, N. A Mechanical Proof of the Church-Rosser Theorem. 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.