M. Main

Mathematical Foundations of Programming Language Semantics