https://figidamebyr.brightsideglobaltrade.com/the-formal-semantics-of-programming-languages-book-1298nw.php