Chapter 15: Finite-step algorithms for single-controller and perfect information stochastic games