Dexter C. Kozen

A Concise Introduction to Languages and Machines

2008