Ehrig, Hartmut, Frank Hermann, and Christoph Sartorius. 2009. “Completeness and Correctness of Model Transformations Based on Triple Graph Grammars With Negative Application Conditions”. Electronic Communications of the EASST 18 (September). https://doi.org/10.14279/tuj.eceasst.18.270.