Mathematics of Program Construction : 12th International Conference, MPC 2015, Konigswinter, Germany, June 29--July 1, 2015. Proceedings (Paperback)