Sequentielle Systeme Binäre und Fuzzy Automatisierung mit arithmetischen Polynomen - Franke, Dieter 1960- (Vieweg+Teubner Verlag, 1994)