Introduction to languages and the theory of computation - Martin, John C. (McGraw-Hill, 1991)
Literaturverz. S. 453 - 455