The Science of Programming - Gries , D (New Delhi Narosa Pub, 1981)