DISCIPLINE OF PROGRAMMING - DIJKSTRA,EDSGER W (PH ENGLEWOOD CLIFFS, 1976)