"Induction Principles for Context-Free Languages."

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