Algorithms for an irreducible and lumpable strong stochastic bound · Study