Pierce, B. C. (2002). Types and programming languages. MIT Press.
Chicago-Zitierstil (17. Ausg.)Pierce, Benjamin C. Types and Programming Languages. Cambridge, Mass.[u.a.]: MIT Press, 2002.
MLA-Zitierstil (9. Ausg.)Pierce, Benjamin C. Types and Programming Languages. MIT Press, 2002.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.