Jacques Hagelstein Dominique Roelants Reconciling Operational and Declarative Specifications. 221-238 1992 CAiSE db/conf/caise/caise92.html#HagelsteinR92 http://dx.doi.org/10.1007/BFb0035134