"Category localization semantics for specification refinements."

Jerzy Tomasik, Jerzy Weyman (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics