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