In memoriam: Edsger W. Dijkstra 1930−2002 - Boyer, R; Feijen, W; Gries, D; Hoare, C; Misra, J; Moore, J; Richards, H (Commun. ACM, 2002)