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 Style (17th ed.) CitationSpringerLink (Online service), Claude Bolduc, Jules Desharnais, and 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 ed.) CitationSpringerLink (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.
Warning: These citations may not always be 100% accurate.
