Claude Kirchner, Hélène Kirchner, José Meseguer. Operational Semantics of OBJ-3 (Extended Abstract). In Timo Lepistö, Arto Salomaa, editors, Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings. Volume 317 of Lecture Notes in Computer Science, pages 287-301, Springer, 1988.
@inproceedings{KirchnerKM88,
title = {Operational Semantics of OBJ-3 (Extended Abstract)},
author = {Claude Kirchner and Hélène Kirchner and José Meseguer},
year = {1988},
tags = {semantics, operational semantics},
researchr = {https://researchr.org/publication/KirchnerKM88},
cites = {0},
citedby = {0},
pages = {287-301},
booktitle = {Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings},
editor = {Timo Lepistö and Arto Salomaa},
volume = {317},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-19488-6},
}