Rangel, G.; König, B.; Ehrig, H. Bisimulation Verification for the DPO Approach With Borrowed Contexts. eceasst 2007, 6.