Abstract machines and grammars
Walter J. Savitch
Pearson custom computer science
Turbo Pascal, an introduction to the art and science of programming
