SpringerLink (Online service), Filliâtre, J., Paulin-Mohring, C., & Werner, B. (2006). Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Jean-Christophe Filliâtre, Christine Paulin-Mohring, και Benjamin Werner. Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers. Springer Berlin Heidelberg, 2006.
