The science of programming - Gries, David 1939- (Texts and monographs in computer science, 1981)