Code Danzig by Erik Swaving Dijkstra