Beauty Is Our Business

A Birthday Salute to Edsger W. Dijkstra

by W. H. J. Feijen, A.J.M. van Gasteren, David Gries, J. Misra