The Science of programming - Gries, David (1981)