https://123dok.net/document/q05xopwl-construction-correctness-completeness-model-transformations-triple-grammars-version.html