Email Record: Domain theory, logic and computation :