Email Record: Abstraction and specification with modula-2 /