@book{AroraBarak:CompComplex,
  title     = "Computational Complexity: A Modern Approach",
  author    = "Sanjeev Arora and Boaz Barak",
  address   = "Cambridge, UK",
  isbn      = "978-0-521-42426-4",
  publisher = "Cambridge University Press",
  year      = "2009",
}
@book{Cooper:CT,
  title     = "Computability Theory",
  author    = "S. Barry Cooper",
  address   = "Boca Raton, FL",
  isbn      = "978-1-58488-237-4",
  publisher = "CRC Press",
  year      = "2004",
}
@book{Mackay:ITILA,
  title     = "Information Theory, Inference, and Learning Algorithms",
  author    = "David J. C. Mackay",
  address   = "Cambridge, UK",
  isbn      = "978-0-521-64298-9",
  origyear  = "2003",
  publisher = "Cambridge University Press",
  year      = "2004"
}
@book{Nies:C&R,
  title     = "Computability and Randomness",
  author    = "André Nies",
  address   = "New York",
  isbn      = "978-0-19-965260-0",
  origyear  = "2009",
  publisher = "Oxford University Press",
  year      = "2012"
}
@book{Russel:Norvig:AIMA,
  title     = "Artificial Intelligence -- A Modern Approach",
  author    = "Stuart Russel and Peter Norvig",
  address   = "New Jersey",
  edition   = "2",
  isbn      = "978-0-19-965260-0",
  origyear  = "1995",
  publisher = "Pearson Education",
  year      = "2003"
}