An introduction to formal languages and machine computation - Yan, Song Y. (World Scientific, 1998)