APA Citation

Audebaud, P., & Paulin-Mohring, C. (2020). Mathematics of Program Construction. Springer Berlin Heidelberg.

Chicago Style Citation

Audebaud, Philippe, and Christine Paulin-Mohring. Mathematics of Program Construction. Springer Berlin Heidelberg, 2020.

MLA Citation

Audebaud, Philippe, and Christine Paulin-Mohring. Mathematics of Program Construction. Springer Berlin Heidelberg, 2020.

Warning: These citations may not always be 100% accurate.