Text this: Mathematical Foundations of Programming Language Semantics :