Title: The formal semantics of programming languages
Subjects: Semantics, Logic, symbolic and mathematical, Computer science