The DDC Ada Compiler Development Project. - Dines Bjørner; Ole N. Oest (Towards a Formal Description of Ada, 1980)

Formal Specification and Development of an Ada Compiler - A VDM Case Study. - Geert B. Clemmensen; Ole N. Oest (ICSE, 1984)

VDM From Research to Practice (Invited Paper). - Ole N. Oest (IFIP Congress, 1986)

Dansk Datamatik Center. - Dines Bjørner; Christian Gram; Ole N. Oest; Leif Rystrøm (History of Nordic Computing, 2010)