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