The science of programming - Gries, David, 1939- (Springer-Verlag, 1981)
Includes index