L. Baresi, C. Ghezzi, A. Mocci, and M. Monga, “Using Graph Transformation Systems to Specify and Verify Data Abstractions”, eceasst, vol. 10, Jul. 2008.