Email Record: Domain theory, logic, and computation :