Amílcar Sernadas, Cristina Sernadas, José Félix Costa. Object Specification Logic. Journal of Logic and Computation, 5(5):603-630, 1995.
@article{SernadasSC95,
title = {Object Specification Logic},
author = {Amílcar Sernadas and Cristina Sernadas and José Félix Costa},
year = {1995},
tags = {meta-model, logic, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/SernadasSC95},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {5},
number = {5},
pages = {603-630},
}