M. Arntzenius, and N. Krishnaswami. Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016, page 214--227. New York, NY, USA, ACM Press, (2016)
M. Minas. Applications of Graph Transformations with Industrial Relevance, volume 1779 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2000)