Introduction to probabilistic automata - Paz, Azaria (Computer science and applied mathematics, 1971)