@article{cj95-03,
  author={Nils Klarlund and Dexter Kozen},
  title={Rabin Measures},
  journal={Chicago Journal of Theoretical Computer Science},
  volume={1995},
  number={3},
  publisher={MIT Press},
  month={September},
  year={1995}
}