https://123dok.net/document/zpn74loy-a-symbolic-transformation-language-and-its-application-to-a-multiscale-method.html