Birtwistle, G. M., O.-J. Dahl, B. Myhrhaug and K. Nygaard, SIMULA begin, Petrocelli/Charter, New York, NY, 1975.The classic text on SIMULA.
Dahl, O.-J., E. W. Dijkstra, and C. Hoare, Structured Programming, Volume 8 of A.P.I.C. Studies in Data Processing. Academic Press, 1972.A landmark volume on the topic, still widely read. It contains three segments, the final one being “Hierarchical program structures” by O.-J. Dahl and C. Hoare.
Dahl, O.-J., Transcript of discussant’s remarks. In R. L. Wexelblat (editor), History of programming languages I, Chapter IX, pp. 488–490, Academic Press, New York, NY, USA, 1981.Dahl's views on the significance of SIMULA, delivered at the first HOPL conference.
Dahl, O.-J., “The roots of object-oriented programming: the Simula language,” in M. Broy and E. Denert (editors) Software Pioneers: Contributions to Software Engineering, pp. 79–90, Springer-Verlag, Berlin, Heidelberg, 2002.A later retrospective by Dahl on the origins of objects.
Dahl, O.-J. and K. Nygaard. “Class and subclass declarations,” in J. N. Buxton (editor) Simulation Programming Languages, Proceedings from the IFIP working conference in Oslo, pp. 158–174, Amsterdam, May 1967, North Holland.This is the “Lysebu paper,” named for the hotel at which the 1967 Conference on Simulation Languages was held, which first described SIMULA 67's classes and subclasses
Dahl, O.-J. and O. Owe, “Formal Development with ABEL”, in Proceedings of Formal Software Development Methods, VDM '91, Oct. 1991, Lecture Notes in Computer Science, Vol. 552, pp. 320–362, Springer, 1991.Describes Dahl's later work on object-oriented language design and reasoning.
Nygaard, K. and O.-J. Dahl, “The development of the SIMULA languages”, in R. L. Wexelblat (editor), History of programming languages I, chapter IX, pp. 439–480. Academic Press, New York, NY, USA, 1981.The first definitive description of the development of SIMULA, written by its developers.The Weselblatt “History of Programming Languages” is available free here on the ACM Digital Library.
Nygaard, K, “Basic concepts in object oriented programming”, in Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming, SIGPLAN Notices, Vol. 21, Num. 10, pp. 128–132, New York, NY, USA, October 1986, ACM.This is not by Dahl, but it gives an alternative view of the basic concepts, and some historical perspective. Available here on the ACM Digital Library.
Dahl, O.-J., Verifiable Programming, Prentice Hall (International series in computer science), New York, 1992, revised edition 1993.This work includes many of Dahl’s his own research results particularly the reasoning techniques he developed.
ACM (www.acm.org) is widely recognized as the premier organization for computing professionals, delivering a broad array of resources that advance the computing and IT disciplines, enable professional development, and promote policies and research that benefit society.