Stochastic Coalgebraic Logic door Ernst-Erich Doberkat