Mathematics of Program Construction - Hinze; Voigtländer, Janis (Springer International Publishing, 2015)