Theorie der determinierten zeitvariablen Automaten. - Wolfgang Dauscha; Gudrun Nürnberg; Peter H. Starke; Klaus Dieter Winkler (J. Inf. Process. Cybern., 1973)