Tagung über Formale Sprachen Oberwolfach 30.8.-5.9.1970 (Ges. für Math. und Datenverarbeitung, 1970)