Email Record: Formal methods and object technology /