Mark W. W. Vermeer Peter M. G. Apers Behaviour Specification in Database Interoperation. 61-74 1997 conf/caise/1997 CAiSE db/conf/caise/caise97.html#VermeerA97 http://dx.doi.org/10.1007/3-540-63107-0_5