Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis. OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. In Jan Grabowski, Pierre Lescanne, Wolfgang Wechler, editors, International Workshop on Algebraic and Logic Programming. Volume 343 of Lecture Notes in Computer Science, pages 41-52, Springer, Gaussig, GDR, 1988.
@inproceedings{JouannaudKKM88,
title = {OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization},
author = {Jean-Pierre Jouannaud and Claude Kirchner and Hélène Kirchner and Aristide Mégrelis},
year = {1988},
tags = {programming},
researchr = {https://researchr.org/publication/JouannaudKKM88},
cites = {0},
citedby = {0},
pages = {41-52},
booktitle = {International Workshop on Algebraic and Logic Programming},
editor = {Jan Grabowski and Pierre Lescanne and Wolfgang Wechler},
volume = {343},
number = {1},
series = {Lecture Notes in Computer Science},
address = {Gaussig, GDR},
publisher = {Springer},
isbn = {3-540-50667-5},
}