His textbooks on compilers (various editions are popularly known as the green dragon book), theory of computation (also known as the Cinderella book), data structures, and databases are well known in the field of computer science. 