https://123dok.net/document/zgw2x8v8-formal-syntax-and-semantics-of-programming-languages.html