Email Record: Algebraic specification of communication protocols /