"Induction Principles for Context-Free Languages."

Ward Douglas Maurer (1973)
a service of Schloss Dagstuhl - Leibniz Center for Informatics