Dechiffrierung nichtdeterministischer abstrakter Automaten - Wiehagen, Rolf (1973)