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