Citação norma APA
Thompson, S. (1991). Type Theory and Functional Programming. Addison-Wesley.
Citação norma Chicago
Thompson, Simon. Type Theory and Functional Programming. [S. l.]: Addison-Wesley, 1991.
Citação norma MLA
Thompson, Simon. Type Theory and Functional Programming. Addison-Wesley, 1991.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.