Catharina Rieckhoff. Towards a Theory for the Animation of Algebraic Specification. In Hartmut Ehrig, editor, Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers. Volume 785 of Lecture Notes in Computer Science, pages 310-320, Springer, 1992.
@inproceedings{Rieckhoff92,
title = {Towards a Theory for the Animation of Algebraic Specification},
author = {Catharina Rieckhoff},
year = {1992},
tags = {algebraic specification, algebra},
researchr = {https://researchr.org/publication/Rieckhoff92},
cites = {0},
citedby = {0},
pages = {310-320},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers},
editor = {Hartmut Ehrig},
volume = {785},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57867-6},
}