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 (17η εκδ.)SpringerLink (Online service), Ralf Hinze, και 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 εκδ.)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.
