Introduction to languages and the theory of computation - John Martin, C. (2004)
English