Transformational derivation of a bytecode verifier. - Walter Dosch; Sönke Magnussen (CATA, 2000)

The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. - Walter Dosch; Sönke Magnussen (WADT, 2001)

Computer Aided Fusion for Algebraic Program Derivation. - Walter Dosch; Sönke Magnussen (Nord. J. Comput., 2001)

Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications. - Walter Dosch; Sönke Magnussen (SERA, 2003)

Mechanizing the transformation of higher order algebraic specifications for the development of software systems. - Sönke Magnussen (Logos-Verlag, 2003)