Stochastic games with finite state etc by Vrieze