Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra (Texts and Monographs in Computer Science)