Introduction to probabilistic automata. - Paz, Azaria (New York Academic Press, Inc., 1971)