1. Boehm, B., The high cost of software. Proc. Symp. High Cost of Software, Naval Postgraduate School, Monterey, California, September 1973.
2. Simula—an ALGOL-based simulation language;Dahl;Comm. ACM,1966
3. Structured Programming;Dahl,1972
4. Dijkstra, E. W., Programming considered as a human activity. Proc. IFIP Cong. 1965, 213–217.
5. A constructive approach to the problem of program correctness;Dijkstra;BIT,1968