Mathematics of Program Construction - Bolduc, Claude; Desharnais, Jules; Kanade, Takeo; Ktari, Béchir (Springer Berlin Heidelberg, 2010)