Mathematics of Program Construction

MLA

Audebaud, Philippe, et al. Mathematics of Program Construction. Springer Berlin Heidelberg, 2008.

APA

Audebaud, P., Kanade, T., Paulin-Mohring, C., & Kittler, J. (2008). Mathematics of Program Construction. Springer Berlin Heidelberg.

Chicago

Audebaud, Philippe, Takeo Kanade, Christine Paulin-Mohring, and Josef Kittler. Mathematics of Program Construction. : Springer Berlin Heidelberg, 2008.