Andrew D. Gordon, Gareth D. Rees. Bisimilarity for a First-Order Calculus of Objects with Subtyping. In POPL. pages 386-395, 1996. [doi]
@inproceedings{GordonR96,
title = {Bisimilarity for a First-Order Calculus of Objects with Subtyping},
author = {Andrew D. Gordon and Gareth D. Rees},
year = {1996},
doi = {10.1145/237721.237807},
url = {http://doi.acm.org/10.1145/237721.237807},
tags = {meta-model, subtyping, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/GordonR96},
cites = {0},
citedby = {0},
pages = {386-395},
booktitle = {POPL},
}