APA-viite (7. p.)
Thorsten Altenkirch, C. M. Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers. Springer.
Chicago-viite (17. p.)
Thorsten Altenkirch, Conor McBride. Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers. Berlín, Alemania: Springer.
MLA-viite (9. p.)
Thorsten Altenkirch, Conor McBride. Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers. Springer.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.