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 Style (17th ed.) CitationSpringerLink (Online service) and 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 ed.) CitationSpringerLink (Online service) and Dexter Kozen. Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings. Springer Berlin Heidelberg, 2004.
Warning: These citations may not always be 100% accurate.
