Introduction to Languages and the Theory of Computation - MARIN, John C. (New York, WCB McGRaw Hill, 1997)