| 1983 | ||
|---|---|---|
| 2 | Wolfram Bartussek: SPEDI - Ein Editor zum Erstellen von Spezifikationen für objektorientierte strukturierte Programmsysteme. Objektorientierte Software- und Hardwarearchitekturen 1983: 157-176 | |
| 1978 | ||
| 1 | Wolfram Bartussek, David Lorge Parnas: Using assertions about traces to write abstract specifications for software modules. ECI 1978: 211-236 | |
| 1 | David Lorge Parnas | [1] |