https://9dok.net/document/zkw8o111-formal-analysis-functional-behaviour-transformations-grammars-extended-version.html