"Rabin Measures and Their Applications to Fairness and Automata Theory"

Nils Klarlund, Dexter Kozen (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics