Ehrig, Hartmut, Frank Hermann, and Christoph Sartorius. “Completeness and Correctness of Model Transformations Based on Triple Graph Grammars With Negative Application Conditions”. Electronic Communications of the EASST 18 (September 8, 2009). Accessed November 23, 2024. https://eceasst.org/index.php/eceasst/article/view/1556.