The mathematical theory of context free languages. - Ginsburg, Seymour, (McGraw-Hill,, 1966)