-E.-E. Doberkat: Stochastic Automata: Stability, Nondeterminism, and Prediction, Springer-Verlag 1981