Automata, Computability and Complexity: Theory & Applications

The Syntax of Programming Languages

Compilers for Programming Languages

Functional Programming and the Lambda Calculus