https://bookem.ir/books/2509191-Stochastic-Coalgebraic-Logic