(2008). Types for proofs and programs: International conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers / Marino Miculan, Ivan Scagnetto, Furio Honsell (eds.).
Čikaški stil citiranja (17. izdanje)Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007 : Revised Selected Papers / Marino Miculan, Ivan Scagnetto, Furio Honsell (eds.). 2008.
MLA način citiranja (9. izdanje)Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007 : Revised Selected Papers / Marino Miculan, Ivan Scagnetto, Furio Honsell (eds.). 2008.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.