JURDZINSKI, M.; VĂ–GE, J. A Discrete Stratety Improvement Algorithm for Solving Parity Games. BRICS Report Series, v. 7, n. 48, 18 Jun. 2000.