Luciano Baresi Carlo Ghezzi Andrea Mocci Mattia Monga Using Graph Transformation Systems to Specify and Verify Data Abstractions. 2008 10 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/155 db/journals/eceasst/eceasst10.html#BaresiGMM08