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