Email Record: Formal specification methods meet knowledge-based systems /