A discipline of programming - Dijkstra, Edsger W. (Prentice-hall o0f india pvt. ltd., New Delhi, 1976)