@book{AroraBarak:CompComplex,
  title     = "Computational Complexity: A Modern Approach",
  author    = "Sanjeev Arora and Boaz Barak",
  address   = "Cambridge, UK",
  publisher = "Cambridge University Press",
  year      = "2009",
}
@book{Cooper:CT,
  title     = "Computability Theory",
  author    = "S. Barry Cooper",
  address   = "Boca Raton, FL",
  publisher = "CRC Press",
  year      = "2004",
}
@book{CoverThomas:EIT,
  title     = "Elements of Information Theory",
  author    = "Thomas Cover and Joy Thomas",
  address   = "New Jersey",
  publisher = "John Wiley \& Sons",
  year      = "2006",
}
@book{Lamport:LaTeX,
  title     = "LaTeX: A Document Preparation System",
  author    = "Leslie Lamport",
  edition   = "2",
  publisher = "Addison-Wesley",
  year      = "1994",
}
@book{Mackay:ITILA,
  title     = "Information Theory, Inference, and Learning Algorithms",
  author    = "David J. C. Mackay",
  address   = "Cambridge, UK",
  origyear  = "2003",
  publisher = "Cambridge University Press",
  year      = "2004"
}
@book{Nies:C&R,
  title     = "Computability and Randomness",
  author    = "André Nies",
  address   = "New York",
  origyear  = "2009",
  publisher = "Oxford University Press",
  year      = "2012"
}
@book{Petzold:AT,
  title     = "The Annotated Turing",
  author    = "Charles Petzold",
  address   = "Indianapolis",
  publisher = "Wiley Publishing",
  year      = "2008",
}
@book{Russel:Norvig:AIMA,
  title     = "Artificial Intelligence -- A Modern Approach",
  author    = "Stuart Russel and Peter Norvig",
  address   = "New Jersey",
  edition   = "2",
  origyear  = "1995",
  publisher = "Pearson Education",
  year      = "2003"
}
@book{Sipser:ITC,
  title     = "Introduction To The Theory of Computation",
  author    = "Michael Sipser",
  address   = "Boston, MA, U.S.",
  edition   = "3",
  publisher = "Cengage Learning",
  year      = "2021",
}