Friedrich L. Bauer Manfred Broy Edsger W. Dijkstra - Acta Informatica and Marktoberdorf. 141-142 2003 39 Acta Inf. 3 http://dx.doi.org/10.1007/s00236-003-0109-8 db/journals/acta/acta39.html#BauerB03