Παραπομπή σε μορφή APA (7η εκδ.)

SpringerLink (Online service) & Kozen, D. (2004). Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings. Springer Berlin Heidelberg.

Παραπομπή σε μορφή Chicago (17η εκδ.)

SpringerLink (Online service) και Dexter Kozen. Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.

Παραπομπή σε μορφή MLA (8th εκδ.)

SpringerLink (Online service) και Dexter Kozen. Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings. Springer Berlin Heidelberg, 2004.