Martín Abadi, Luca Cardelli. A Theory of Primitive Objects: Untyped and First-Order Systems. Inf. Comput., 125(2):78-102, 1996.
@article{AbadiC96:0, title = {A Theory of Primitive Objects: Untyped and First-Order Systems}, author = {Martín Abadi and Luca Cardelli}, year = {1996}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/AbadiC96%3A0}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {125}, number = {2}, pages = {78-102}, }