D. Grohmann and M. Miculan, “Deriving Barbed Bisimulations for Bigraphical Reactive Systems”, eceasst, vol. 16, Jul. 2009.