"Stochastic relations: foundations for Markov transition systems" - читать интересную книгу автора (Ernst-Erich Doberkat)