Stochastic Coalgebraic Logic - Doberkat, Ernst-Erich (Springer Berlin Heidelberg, 2009)