Mathematics of Program Construction

MLA

Bolduc, Claude, et al. Mathematics of Program Construction. Springer Berlin Heidelberg, 2010.

APA

Bolduc, C., Desharnais, J., Kanade, T., & Ktari, B. (2010). Mathematics of Program Construction. Springer Berlin Heidelberg.

Chicago

Bolduc, Claude, Jules Desharnais, Takeo Kanade, and Béchir Ktari. Mathematics of Program Construction. : Springer Berlin Heidelberg, 2010.