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