Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings - Jeremy Gibbons, Pablo Nogueira ((Lecture Notes in Computer Science))