P. Sobocinski, “Reversing graph transformations”, ECEASST, vol. 2, May 2007.