| |
| 1984 | ||
|---|---|---|
| 4 | Heiko Petzsch: Automatic Prototyping of Algebraic Specifications using PROLOG. ADT 1984: 207-223 | |
| 3 | Friedrich W. Beichter, Otthein Herzog, Heiko Petzsch: SLAN-4 - A Software Specification and Design Language. IEEE Trans. Software Eng. 10(2): 155-162 (1984) | |
| 1983 | ||
| 2 | Friedrich W. Beichter, Otthein Herzog, Heiko Petzsch: SLAN-4: A Language for the Specification and Design of Large Software Systems. IBM Journal of Research and Development 27(6): 558-576 (1983) | |
| 1981 | ||
| 1 | Herbert Klaeren, Heiko Petzsch: The Development of an Interpreter by Means of Abstract Algebraic Software Specifications. ICFPC 1981: 335-346 | |
| 1 | Friedrich W. Beichter | [2] [3] |
| 2 | Otthein Herzog | [2] [3] |
| 3 | Herbert Klaeren | [1] |