Email Record: Action refinement in process algebras /