SpringerLink (Online service), Miculan, M., Scagnetto, I., & Honsell, F. (2008). Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Marino Miculan, Ivan Scagnetto, και Furio Honsell. Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Des Friuli, Italy, May 2-5, 2007 Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Des Friuli, Italy, May 2-5, 2007 Revised Selected Papers. Springer Berlin Heidelberg, 2008.
