APA (7th ed.) Citation

MPC 2010 Québec, Québec, SpringerLink (Online service), Bolduc, C., Desharnais, J., & Ktari, B. (2010). Mathematics of program construction: 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings. Springer. https://doi.org/10.1007/978-3-642-13321-3

Chicago Style (17th ed.) Citation

MPC 2010 Québec, Québec, SpringerLink (Online service), Claude Bolduc, Jules Desharnais, and Béchir Ktari. Mathematics of Program Construction: 10th International Conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; Proceedings. Berlin: Springer, 2010. https://doi.org/10.1007/978-3-642-13321-3.

MLA (9th ed.) Citation

MPC 2010 Québec, Québec, et al. Mathematics of Program Construction: 10th International Conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; Proceedings. Springer, 2010. https://doi.org/10.1007/978-3-642-13321-3.