P. Turakainen, “On probabilistic automata and their generalizations”, Ann. Fenn. Math., no. 429, Jan. 1969.