Untersuchungen zur Komplexität algorithmischer Probleme in abzählbar erzeugten Gruppen - Otto, Friedrich (1980)
Kaiserslautern, Diss.