Classics in software engineering - Dijkstra, E. (rz1, 1979)