Theorie der determinierten zeitvariablen Automaten - Nürnberg, Gudrun; Dauscha, Wolfgang; Winkler, Klaus-Dieter (1973)