Beauty is our business : a birthday salute to Edsger W. Dijkstra - Feijen, W. H. J. (Texts and Monographs in Computer Science, 1990)