G. Rangel, B. König, and H. Ehrig, “Bisimulation Verification for the DPO Approach with Borrowed Contexts”, eceasst, vol. 6, Jun. 2007.