SpringerLink (Online service), Bolduc, C., Desharnais, J., & Ktari, B. (2010). Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Claude Bolduc, Jules Desharnais, και Béchir Ktari. Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings. Springer Berlin Heidelberg, 2010.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.