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