Citazione Stile APA (7a Edizione)
Thompson, S. (1991). Type Theory and Functional Programming. Addison-Wesley.
Citazione stile Chigago Style (17a edizione)
Thompson, Simon. Type Theory and Functional Programming. [S. l.]: Addison-Wesley, 1991.
Citatione MLA (9a ed.)
Thompson, Simon. Type Theory and Functional Programming. Addison-Wesley, 1991.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.