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