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