MICULAN, Marino, SCAGNETTO, Ivan und HONSELL, Furio (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540681038.
Elsevier - Harvard (with titles)Miculan, M., Scagnetto, I., Honsell, F. (Hrsg.), 2008. Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-540-68103-8
American Psychological Association 7th editionMiculan, M., Scagnetto, I., … Honsell, F. (Hrsg.). (ca. 2008). Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-68103-8
Springer - Basic (author-date)Miculan M, Scagnetto I, Honsell F (Hrsg.) (2008) Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Miculan, Marino/ Scagnetto, Ivan/ Honsell, Furio (Hrsg.), Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers, Theoretical Computer Science and General Issues 2008, .