Languages and machines : an introduction to the theory of computer science - Sudkamp, Thomas A. (Pearson Addison-Wesley, 2006)