APA-Zitierstil (7. Ausg.)

(2004). Types for proofs and programs: International workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers. Springer. https://doi.org/10.1007/b98246

Chicago-Zitierstil (17. Ausg.)

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; Revised Selected Papers. Berlin [u.a.]: Springer, 2004. https://doi.org/10.1007/b98246.

MLA-Zitierstil (9. Ausg.)

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; Revised Selected Papers. Springer, 2004. https://doi.org/10.1007/b98246.