https://123dok.net/document/yj7rnx0m-towards-a-formal-definition-of-the-foc-language.html