Theorie der nichtdeterministischen und unvollständigen Mealy-Automaten - Schmitt, Alfred (1967)