APA (7th ed.) Citation

SpringerLink (Online service), MPC, International Conference on the Mathematics of Program Construction, & Möller, B. (1995). Mathematics of program construction: Third international conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), MPC, International Conference on the Mathematics of Program Construction, and Bernhard Möller. Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995 ; Proceedings. Berlin [u.a.]: Springer, 1995.

MLA (9th ed.) Citation

SpringerLink (Online service), et al. Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995 ; Proceedings. Springer, 1995.