Mathematical foundations of programming language semantics by M. Main | Menrva Books | MenrvaBooks