Dechiffrierung nichtdeterministischer abstrakter Automaten - Wiehagen, Rolf (Berlin, Humboldt-Univ., Diss. A, 1973, 1973)