M. K. Chirkov, “On some types of incompletely specified automata”, Acta Cybern, vol. 4, no. 2, pp. 151-165, Jan. 1979.