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