@techreport{K09b,
  number="{\url{http://hdl.handle.net/1813/13018}}",
  month="June",
  title="Lexicographic Flow",
  author="Dexter Kozen",
  year="2009",
  institution="Computing and Information Science, Cornell University"
}