Yan, S. Y. An introduction to formal languages and machine computation - Singapore World Scientific 1998 - xvii, 400p. ISBN: 981-02-2167-3