Jacques Calmet, Indra A. Tjandra. A Unified-Algebra-Based Specification Language for Symbolic Computing. In Alfonso Miola, editor, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 93, Gmunden, Austria, September 15-17, 1993, Proceedings. Volume 722 of Lecture Notes in Computer Science, pages 122-133, Springer, 1993.
@inproceedings{CalmetT93,
title = {A Unified-Algebra-Based Specification Language for Symbolic Computing},
author = {Jacques Calmet and Indra A. Tjandra},
year = {1993},
tags = {rule-based, algebraic specification, algebra},
researchr = {https://researchr.org/publication/CalmetT93},
cites = {0},
citedby = {0},
pages = {122-133},
booktitle = {Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 93, Gmunden, Austria, September 15-17, 1993, Proceedings},
editor = {Alfonso Miola},
volume = {722},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57235-X},
}