Simple stochastic parity games
K. Chatterjee, M. Jurdziski, T.A. Henzinger, in:, Springer, 2003, pp. 100–113.