Email Record: The Object-Z Specification Language /