RAGHAVAN TES. Chapter 15: Finite-step algorithms for single-controller and perfect information stochastic games.  2003.