@article{1363935,
      author = {Kozen, Dexter,},
      url = {http://library.usi.edu/record/1363935},
      title = {Automata and computability /},
      recid = {1363935},
      pages = {1 online resource (406 pages).},
}