SpringerLink (Online service), Miculan, M., Scagnetto, I., & Honsell, F. (2008). Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (1st ed. 2008.). Springer Berlin Heidelberg : Imprint: Springer.
Cita Chicago Style (17a ed.)SpringerLink (Online service), Marino Miculan, Ivan Scagnetto, y Furio Honsell. Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers. 1st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2008.
Cita MLA (8a ed.)SpringerLink (Online service), et al. Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers. 1st ed. 2008. Springer Berlin Heidelberg : Imprint: Springer, 2008.