Email Record: Algebraic semantics of imperative programs /