Email Record: Algebraic Approaches to Program Semantics /