Email Record: Object-oriented behavioral specifications /