Concepts and Semantics of Programming Languages 1- A Semantical Approach with OCaml and Python - Therese Hardin (Wiley, 2021)