https://5dok.net/document/8ydnlejq-formal-definitions-programming-languages-basis-compiler-construction.html