SpringerLink (Online service), Berardi, S., Coppo, M., & Damiani, F. (2004). Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers (1st ed. 2004.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/b98246
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Stefano Berardi, Mario Coppo, και Ferruccio Damiani. Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. 1st ed. 2004. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2004. https://doi.org/10.1007/b98246.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. 1st ed. 2004. Springer Berlin Heidelberg : Imprint: Springer, 2004. https://doi.org/10.1007/b98246.
