Introduction to probabilistic automata. - Paz, Azaria. (Academic Press,, 1971)