Stochastic automata : stability, nondeterminism and prediction - Doberkat, Ernst-Erich (Lecture Notes in Computer Science, 1981)