Stochastic automata: stability, nondeterminism and prediction - Doberkat, Ernst-Erich (Springer Verlag, 1981)