Context-free languages and pushdown automata (1997)

by J-M Autebert, J Berstel, L Boasson
Venue:In Handbook of Formal Languages