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