APA-Zitierstil (7. Ausg.)

(2003). Types for proofs and programs: International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers. Springer. https://doi.org/10.1007/3-540-39185-1

Chicago-Zitierstil (17. Ausg.)

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg En Dal, the Netherlands, April 24 - 28, 2002 ; Selected Papers. Berlin [u.a.]: Springer, 2003. https://doi.org/10.1007/3-540-39185-1.

MLA-Zitierstil (9. Ausg.)

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg En Dal, the Netherlands, April 24 - 28, 2002 ; Selected Papers. Springer, 2003. https://doi.org/10.1007/3-540-39185-1.