Edsger W. Dijkstra On the Economy of doing Mathematics. 2-10 1992 conf/mpc/1992 MPC db/conf/mpc/mpc92.html#Dijkstra92