An Introduction To Formal Languages And Machine Computation - Yan, Song Y (World Scientific, 1998)