APA-Zitierstil (7. Ausg.)
Thompson, S. (1991). Type Theory and Functional Programming. Addison-Wesley.
Chicago-Zitierstil (17. Ausg.)
Thompson, Simon. Type Theory and Functional Programming. [S. l.]: Addison-Wesley, 1991.
MLA-Zitierstil (9. Ausg.)
Thompson, Simon. Type Theory and Functional Programming. Addison-Wesley, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.