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