Email Record: Logic and algebra of specification /