Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens. Modular invariants for layered object structures. Science of Computer Programming, 62(3):253-286, 2006. [doi]
@article{MullerPL06,
title = {Modular invariants for layered object structures},
author = {Peter Müller and Arnd Poetzsch-Heffter and Gary T. Leavens},
year = {2006},
doi = {10.1016/j.scico.2006.03.001},
url = {http://dx.doi.org/10.1016/j.scico.2006.03.001},
tags = {meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/MullerPL06},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {62},
number = {3},
pages = {253-286},
}