Edsger W. Dijkstra
Al Nuenen, The Netherlands
Formal methods and standards
ACM SIGSOFT Software Engineering Notes
Lastig gepreek uit nuenen