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