Nielsen, M. On Decomposition of Stochastic Finite-State Systems. DPB 1973, 2.