Nordström, B., Petersson, K., & Smith, J. M. (1990). Programming in Martin-Löf's type theory: An introduction. Clarendon Press.
Chicago-Zitierstil (17. Ausg.)Nordström, Bengt, Kent Petersson, und Jan M. Smith. Programming in Martin-Löf's Type Theory: An Introduction. Oxford: Clarendon Press, 1990.
MLA-Zitierstil (9. Ausg.)Nordström, Bengt, et al. Programming in Martin-Löf's Type Theory: An Introduction. Clarendon Press, 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.