APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.