Mathematical Foundations of Programming Semantics