APA (7th ed.) Citation

SpringerLink (Online service), Hinze, R., & Voigtländer, J. (2015). Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings. Springer International Publishing : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Ralf Hinze, and Janis Voigtländer. Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings. Cham: Springer International Publishing : Imprint: Springer, 2015.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings. Springer International Publishing : Imprint: Springer, 2015.