Zhou, 2015. Non-zero-sum stopping games in discrete time.