The mathematical theory of context free languages.
Ginsburg, Seymour.
New York; London, 
[1966]