Rangel, G., König, B. and Ehrig, H. (2007) “Bisimulation Verification for the DPO Approach with Borrowed Contexts”,
Electronic Communications of the EASST
, 6. doi: 10.14279/tuj.eceasst.6.70.