Baresi, Luciano, Carlo Ghezzi, Andrea Mocci, and Mattia Monga. “Using Graph Transformation Systems to Specify and Verify Data Abstractions”. Electronic Communications of the EASST 10 (July 14, 2008). Accessed November 21, 2024. https://eceasst.org/index.php/eceasst/article/view/2535.