Algebraic Data Type and Process Specifications based on Projection Spaces. - Hartmut Ehrig; Francesco Parisi-Presicce; Paul Boehm; Catharina Rieckhoff; Christian Dimitrovici; Martin Große-Rhode (ADT, 1987)

Combining Data Type and Recursive Process Specifications Using Projection Algebras. - Hartmut Ehrig; Francesco Parisi-Presicce; Paul Boehm; Catharina Rieckhoff; Christian Dimitrovici; Martin Große-Rhode (Theor. Comput. Sci., 1990)

Towards a Theory for the Animation of Algebraic Specification. - Catharina Rieckhoff (COMPASS/ADT, 1992)

Eine Theorie zur graphischen Visualisierung algebraischer Spezifikationen. - Catharina Rieckhoff (1993)