The Science of Programming - Gries, David, 1939- (Texts and Monographs in Computer Science, 1981)