Introduction to probabilistic automata - Paz Azaria (London Academic Press, 1971)
Keywords: Automata theory; Mathematical logic; Probability