Jeremy Gibbons, Pablo Nogueira: Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Lecture Notes in Computer Science 7342, Springer 2012, ISBN 978-3-642-31112-3