The Science Of Programming - Gries D. (Delhi Nirali, 1989)