Executing Specifications using Conditional Axioms. - Klaus Drosten (ADT, 1983)

Algebraic and operational semantics of exceptions and errors. - Martin Gogolla; Klaus Drosten; Udo W. Lipeck; Hans-Dieter Ehrich (Theoretical Computer Science, 1983)

Towards Executable Specifications Using Conditional Axioms. - Klaus Drosten (STACS, 1984)

Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. - Martin Gogolla; Klaus Drosten; Udo W. Lipeck; Hans-Dieter Ehrich (Theor. Comput. Sci., 1984)

Term Rewriting Systems with Restricted Variables. - Klaus Drosten (ADT, 1986)

Towards an Algebraic Semantics for Database Specification. - Hans-Dieter Ehrich; Klaus Drosten; Martin Gogolla (DS-2, 1986)

Translating Algebraic Specifications to Prolog Programs: A Comparative Study. - Klaus Drosten (ALP, 1988)

Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen. - Klaus Drosten (1988)

Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer Spezifikationen - Klaus Drosten (Springer, 1989)

ViewSystem: Integrating Heterogeneous Information Bases by Object-Oriented Views. - Manfred Kaul; Klaus Drosten; Erich J. Neuhold (ICDE, 1990)