@book{K97a,
  isbn="0-387-94907-0",
  address="New York",
  author="Dexter Kozen",
  title="Automata and Computability",
  publisher="Springer-Verlag",
  year="1997"
}