Study of Programming Languages, The
Formal Syntax and Semantics of Programming Languages
Formal Semantics of Programming Languages
Distributed Systems: Principles and Paradigms (2nd Edition)