Baresi, Luciano, Carlo Ghezzi, Andrea Mocci, and Mattia Monga. 2008. “Using Graph Transformation Systems to Specify and Verify Data Abstractions”. Electronic Communications of the EASST 10 (July). https://doi.org/10.14279/tuj.eceasst.10.155.