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)

Projection Spaces. - Christian Dimitrovici (ADT, 1988)

Composition of Algebraic High-Level Nets. - Christian Dimitrovici; Ulrich Hummert (ADT, 1990)

Semantics, composition and net properties of algebraic high-level nets. - Christian Dimitrovici; Udo Hummert; Laure Petrucci (Applications and Theory of Petri Nets, 1990)

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)

Algebraic specification of action trees and recursive processes. - Martin Große-Rhode; Christian Dimitrovici (Tree Automata and Languages, 1992)