Email Record: Logic and Algebra of Specification /