Elements of ML Programming
Introduction to automata theory, languages, and computation
Compilers principles, techniques, & tools
