Dekker, J. C. E. 1., & Myhill, J. (1960). Recursive equivalence types. Univ. of Calif. Press.
Chicago-Zitierstil (17. Ausg.)Dekker, J. C. E. 1921, und John Myhill. Recursive Equivalence Types. Berkeley [u.a.]: Univ. of Calif. Press, 1960.
MLA-Zitierstil (9. Ausg.)Dekker, J. C. E. 1921, und John Myhill. Recursive Equivalence Types. Univ. of Calif. Press, 1960.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.