Ehrig, Hartmut, et al. “Completeness and Correctness of Model Transformations Based on Triple Graph Grammars With Negative Application Conditions”. Electronic Communications of the EASST, vol. 18, Sept. 2009, doi:10.14279/tuj.eceasst.18.270.