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