Jerzy Tomasik, Jerzy Weyman. Category localization semantics for specification refinements. Annals of Mathematics and Artificial Intelligence, 49(1-4):253-263, 2007. [doi]
@article{TomasikW07,
title = {Category localization semantics for specification refinements},
author = {Jerzy Tomasik and Jerzy Weyman},
year = {2007},
doi = {10.1007/s10472-007-9055-4},
url = {http://dx.doi.org/10.1007/s10472-007-9055-4},
tags = {semantics, refinement},
researchr = {https://researchr.org/publication/TomasikW07},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {49},
number = {1-4},
pages = {253-263},
}