Email Record: Semantics and algebraic specification :