Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings - Gibbons, Jeremy; Nogueira, Pablo (Springer Berlin Heidelberg, 2012)