オーレ＝ヨハン・ダール
Multiple index countings on the Ferranti Mercury computer, by O.-J. Dahl. Oslo: Norwegian Defence Research Establishment, 1957年
Programmer's handbook for the Ferranti Mercury Computer, Frederic at the Norwegian Defense Research Establishment, By O.-J. Dahl, and Jan V. Garwick. – 2nd ed., Kjeller: Norwegian Defence Research Establishment, 1958年
Automatisk kodning: et prosjekt ved Forsvarets forskningsinstitutt.
Simscript implementation, by Vic Bell and Ole-Johan Dahl. Oslo: Norwegian Computing Center, 1963年
Basic concepts of SIMULA: an ALGOL based simulation language, by Ole-Johan Dahl and Kristen Nygaard. Oslo: Norsk regnesentral, 1965年ごろ
1968年、ダールはオスロ大学の教授となり教育者としての才能も発揮した。ここで、彼はアントニー・ホーアと共に Hierarchical Program Structures を執筆した。これは彼の発表した著作の中でも最も有名なものであり、1972年のダールやエドガー・ダイクストラとの共著 Structured Programming に収録されている。1970年代のソフトウェアに関する本としては最もよく読まれた本である。
その後、ダールは形式手法に興味を引かれるようになり、オブジェクト指向について論じるにも形式手法を用いるようになっていった。多くの優秀な計算機科学者と同様、ダールの専門知識はアイデアの実用化から、アプローチの妥当性を保証する数学的なベースにまで及んでいた。
2000年、聖オーラヴ勲章を受章。2001年にはクリステン・ニゴールとチューリング賞を共同受賞し、2002年には同じくニゴールとIEEEフォン・ノイマンメダルを共同受賞した。