Audebaud, P., & Paulin-Mohring, C. (2020). Mathematics of Program Construction. Springer Berlin Heidelberg.
Citação norma ChicagoAudebaud, Philippe, e Christine Paulin-Mohring. Mathematics of Program Construction. Springer Berlin Heidelberg, 2020.
Citação norma MLAAudebaud, Philippe, e Christine Paulin-Mohring. Mathematics of Program Construction. Springer Berlin Heidelberg, 2020.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.