https://bookem.ir/books/1113513-Programming-languages-and-operational-semantics-a-concise-overview