Eugene S. Santos State-Splitting for Stochastic Machines. 85-96 1975 4 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp4.html#Santos75