https://5dok.net/document/1y9v94wq-handling-syntax-semantics-computer-programs-mathematical-language-automth.html