Alfred A. Schmitt: Zur Theorie der nichtdeterministischen und unvollständigen Automaten. Computing 4(1): 56-74 (1969)