Pierce, B. C. (2002). Types and programming languages. MIT.
Cita Chicago Style (17a ed.)Pierce, Benjamin C. Types and Programming Languages. Cambridge (Massachusetts) [etc.]: MIT, 2002.
Cita MLA (9a ed.)Pierce, Benjamin C. Types and Programming Languages. MIT, 2002.
Precaución: Estas citas no son 100% exactas.