Rabin measures and their applications to fairness and automata theoryNils KlarlundDexter Kozen1991LICS 1991