Stochastic coalgebraic logic - Doberkat, Ernst-Erich (Monographs in theoretical computer science an eatcs series, 2010)