@misc{ais_repository_5781,
  title = {Automata and Computability},
  author = {Dexter C. Kozen},
  year = {1997},
  publisher = {Springer Science+Business Media},
  howpublished = {Repository AIS},
  note = {oai:ais:library-item:18566}
}