Science of programming - Gries David (1981)