"Stochastic Relations: Foundations for Markov Transition Systems" - читать интересную книгу автора (Ernst-Erich Doberkat)