1. S Steffen, Bernhard Passau Strukturierte operationelle Semantik als universelles Konzept zur Beherrschung hierarchischer Systeme Sünderhauf, Philipp Darmstadt Topologische Strukturen in der denotationalen Semantik hö-herer Programmiersprachen. ( Quelle: Jahresbericht DFG 1995）