Ian A. Mason, Carolyn L. Talcott. Reasoning About Object Systems in VTLoE. Int. J. Found. Comput. Sci., 6(3):265-298, 1995.
@article{MasonT95,
title = {Reasoning About Object Systems in VTLoE},
author = {Ian A. Mason and Carolyn L. Talcott},
year = {1995},
tags = {meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/MasonT95},
cites = {0},
citedby = {0},
journal = {Int. J. Found. Comput. Sci.},
volume = {6},
number = {3},
pages = {265-298},
}