Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer. Principles of OBJ2. In POPL. pages 52-66, 1985.
@inproceedings{FutatsugiGJM85,
title = {Principles of OBJ2},
author = {Kokichi Futatsugi and Joseph A. Goguen and Jean-Pierre Jouannaud and José Meseguer},
year = {1985},
tags = {principles},
researchr = {https://researchr.org/publication/FutatsugiGJM85},
cites = {0},
citedby = {0},
pages = {52-66},
booktitle = {POPL},
}