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

On the Descriptional Complexity of Production Systems. - Peter Trum (IJCAI, 1985)

Beschreibungskomplexität von Programmschemata. - Peter Trum (1985)