The Development of an Interpreter by Means of Abstract Algebraic Software Specifications. - Herbert Klaeren; Heiko Petzsch (ICFPC, 1981)

SLAN-4: A Language for the Specification and Design of Large Software Systems. - Friedrich W. Beichter; Otthein Herzog; Heiko Petzsch (IBM J. Res. Dev., 1983)

Automatic Prototyping of Algebraic Specifications using PROLOG. - Heiko Petzsch (ADT, 1984)

SLAN-4 - A Software Specification and Design Language. - Friedrich W. Beichter; Otthein Herzog; Heiko Petzsch (IEEE Trans. Software Eng., 1984)