Prädikatenlogik als Basis für eine Spezifikationssprache. - Georg Winterstein; Norbert Heck; Peter Trum (Software Engineering, 1980)

Automatic Implementation of Abstract Data Types Specified by the Logic Programming Language. - Norbert Heck; Jürgen Avenhaus (FGCS, 1984)

On Logic Programs with Data-Driven Computations. - Norbert Heck; Jürgen Avenhaus (European Conference on Computer Algebra (2), 1985)

Abstrakte Datentypen mit automatischen Implementierungen. - Norbert Heck (1985)