APA (7th ed.) Citation

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 Style (17th ed.) Citation

SpringerLink (Online service), Jean-Christophe Filliâtre, Christine Paulin-Mohring, and 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 ed.) Citation

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.