https://sapiryzesikycovag.tropheesrotary-d1760.com/formal-syntax-and-semantics-of-programming-languages-book-12488ak.php