Untersuchungen zur Komplexität algorithmischer Probleme in abzählbar erzeugten Gruppen - Otto, Wilhelm Eugen Friedrich (Fachbereich Informatik, 1980)