https://datadosen.com/en/Formal_semantics_of_programming_languages