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