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