The science of programming - Gries, David [ed.] (Springer-Verlag New York, 1981)
Keywords: Computer Programming