Baresi, L. (2008) “Using Graph Transformation Systems to Specify and Verify Data Abstractions”, Electronic Communications of the EASST, 10. doi: 10.14279/tuj.eceasst.10.155.