Email Record: Algebraic approaches to program semantics /