The Vienna Development Method (VDM) and its Use for the Specification of a Rational Data Base System. - Erich J. Neuhold; Thomas Olnhoff (IFIP Congress, 1980)

Building Data Base Management Systems Through Formal Specification. - Erich J. Neuhold; Thomas Olnhoff (ICFPC, 1981)

Funktionale Semantikbeschreibung von Anfrageoperationen in einem drei-schichtigen relationalen Datenbanksystem. - Thomas Olnhoff (1981)