https://123dok.net/document/wyej054z-towards-functional-model-transformations-with-ocl.html