Sequentielle Systeme. Binäre und Fuzzy Automatisierung mit arithmetischen Polynomen - Franke, Dieter (Vieweg, 1994)