Chapter 5: Discounted stochastic games: The finite case