Deriving bisimulation congruences in the DPO approach to graph rewriting (2004)

by H Ehrig, B König
Venue:In Proc. of FOSSACS ’04