Mathematical Foundations of Programming Language Semantics