Perdita Stevens. Refinement in Z and object-Z: foundations and advanced applications. Softw. Test., Verif. Reliab., 12(1):61, 2002.
@article{Stevens02,
title = {Refinement in Z and object-Z: foundations and advanced applications},
author = {Perdita Stevens},
year = {2002},
tags = {meta-model, refinement, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/Stevens02},
cites = {0},
citedby = {0},
journal = {Softw. Test., Verif. Reliab.},
volume = {12},
number = {1},
pages = {61},
}