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