"Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series)" - читать интересную книгу автора (Ernst-Erich Doberkat)