Real mathematicians don’t prove, EWD1012 (1988)

by E W Dijkstra