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