APA-referens

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

Chicago-stil citat

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

MLA-referens

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

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.