Krzysztof R. Apt Edsger Wybe Dijkstra (1930-2002): A Portrait of a Genius. 92-98 2002 14 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s001650200029 db/journals/fac/fac14.html#Apt02