Email Record: The theory of computer science :