After many a sobering experience. E.W. Dijkstra note EWD500 (0)

by E W Dijkstra