1992 |
3 | | Catharina Rieckhoff:
Towards a Theory for the Animation of Algebraic Specification.
COMPASS/ADT 1992: 310-320 |
1990 |
2 | | Hartmut Ehrig,
Francesco Parisi-Presicce,
Paul Boehm,
Catharina Rieckhoff,
Christian Dimitrovici,
Martin Große-Rhode:
Combining Data Type and Recursive Process Specifications Using Projection Algebras.
Theor. Comput. Sci. 71(3): 347-380 (1990) |
1987 |
1 | | Hartmut Ehrig,
Francesco Parisi-Presicce,
Paul Boehm,
Catharina Rieckhoff,
Christian Dimitrovici,
Martin Große-Rhode:
Algebraic Data Type and Process Specifications based on Projection Spaces.
ADT 1987: 23-43 |