| 1981 | ||
|---|---|---|
| 2 | Erich J. Neuhold, Th. Olnhoff: Building Data Base Management Systems Through Formal Specification. ICFPC 1981: 169-209 | |
| 1980 | ||
| 1 | Erich J. Neuhold, Th. Olnhoff: The Vienna Development Method (VDM) and its Use for the Specification of a Rational Data Base System. IFIP Congress 1980: 3-16 | |
| 1 | Erich J. Neuhold | [1] [2] |