@book{Rogers87,
  Author = {Hartley {Rogers, Jr.}},
  Publisher = {The MIT Press},
  Title = {Theory of Recursive Functions and Effective Computability},
  Year = {1987},
  Edition = {2nd}
}

@Article{Kleene43,
    Author = "Stephen Cole Kleene",
    Title = "Recursive predicates and quantifiers",
    Journal = "Trans. Amer. Math. Soc.",
    Volume = "53",
    Number = "1",
    Year = "1943",
    Pages = "41--73",
    doi = "10.1090/S0002-9947-1943-0007371-8"
}

@misc{wiki-krt,
    author = "{Wikipedia contributors}",
    title = "Kleene's recursion theorem --- {Wikipedia}{,} The Free Encyclopedia",
    year = "2020",
    url = "https://en.wikipedia.org/w/index.php?title=Kleene%27s_recursion_theorem&oldid=936277979",
    note = "[Online; accessed 28-March-2020]"
}

@InCollection{as-ii-87,
  author =       "Dana Angluin and Carl H. Smith",
  title =        "Inductive Inference",
  booktitle =    "Encyclopedia of Artificial Intelligence",
  publisher =    "J. Wiley and Sons, New York",
  year =         "1987",
  pages =        "409--418",
}

@Article{fkw-iisde-95,
  author =       "R\={u}si\c{n}\v{s} Freivalds and Efim B. Kinber and
                 Rolf Wiehagen",
  title =        "How Inductive Inference Strategies Discover Their
                 Errors",
  journal =      "Inform. Comput.",
  volume =       "118",
  number =       "2",
  year =         "1995",
  pages =        "208--226",
}

@Article{cs-cicmii-83,
  author =       "John Case and Carl H. Smith",
  title =        "Comparison of Identification Criteria for Machine
                 Inductive Inference",
  journal =      "Theoret. Comput. Sci.",
  volume =       "25",
  year =         "1983",
  pages =        "193--220",
  annote =       "Was in STOC78",
}

@InCollection{b-ttlsf-74,
  author =       "J. M. Barzdin",
  title =        "Two Theorems on the Limiting Synthesis of Functions",
  booktitle =    "Theory of Algorithms and Programs",
  volume =       "1",
  publisher =    "Latvian State University, Riga",
  year =         "1974",
  pages =        "82--88",
  note =         "In Russian",
}

@Article{jb-cpnii-81,
  author =       "Klaus P. Jantke and Hans-Rainer Beick",
  title =        "Combining postulates of naturalness in inductive inference",
  journal =      "Elektronische Informationsverarbeitung und Kybernetik",
  volume =       "17",
  number =       "8/9",
  year =         "1981",
  pages =        "465--484",
}

@Article{w-lerfss-76,
  author =       "Rolf Wiehagen",
  title =        "Limes-{E}rkennung rekursiver {F}unktionen durch spezielle {S}trategien",
  journal =      "Journal of Information Processing and Cybernetics (EIK)",
  volume =       "12",
  year =         "1976",
  pages =        "93--99",
}

@Article{wz-idmowle-94,
  author =       "Rolf Wiehagen and Thomas Zeugmann",
  title =        "Ignoring data may be the only way to learn efficiently",
  journal =      "J. of Experimental and Theoret. Artif. Intell.",
  volume =       "6",
  number =       "1",
  year =         "1994",
  pages =        "131--144",
}

@Article{g-lil-67,
  author =       "E. Mark Gold",
  title =        "Language Identification in the Limit",
  journal =      "Inform. Control",
  volume =       "10",
  number =       "5",
  year =         "1967",
  pages =        "447--474",
  comment =      "Classic paper, introducing computer science theory
                 into learning.",
}

@Article{g-lr-65,
  author =       "E. M. Gold",
  title =        "Limiting Recursion",
  journal =      "J. Symbolic Logic",
  volume =       "30",
  year =         "1965",
  pages =        "28--48",
}

@Article{s-ftiip1-64,
  author =       "R. J. Solomonoff",
  title =        "A Formal Theory of Inductive Inference: Part 1",
  journal =      "Inform. Control",
  volume =       "7",
  year =         "1964",
  pages =        "1--22",
  comment =      "Concerned with extrapolation of sequences. Defines
                 probability of extension via likelihood random TM
                 program will generate it.",
}

@Article{s-ftiip2-64,
  author =       "R. J. Solomonoff",
  title =        "A Formal Theory of Inductive Inference: Part 2",
  journal =      "Inform. Control",
  volume =       "7",
  year =         "1964",
  pages =        "224--254",
  comment =      "Continues Part I. Inference of probabilities and
                 grammars.",
}

@InProceedings{b-iiafp-74,
  author =       "{Ya}. M. Barzdin",
  title =        "Inductive Inference of Automata, Functions and Programs",
  booktitle =    "Proceedings International Congress of Mathematics",
  year =         "1974",
  venue =        "Vancouver",
  pages =        "455--460",
}

@InProceedings{b-iiafp-77,
  author =       "J. M. Barzdin",
  title =        "Inductive Inference of Automata, Functions and Programs",
  booktitle =    "Amer. Math. Soc. Transl.",
  year =         "1977",
  pages =        "107--122",
}

@Article{bb-tmtii-75,
  author =       "Leonore Blum and Manuel Blum",
  title =        "Toward a Mathematical Theory of Inductive Inference",
  journal =      "Inform. Control",
  volume =       "28",
  number =       "2",
  month =        jun,
  year =         "1975",
  pages =        "125--155",
}

@article{Universal_Turing_Machine-AFP,
  author  = {Jian Xu and Xingyuan Zhang and Christian Urban and Sebastiaan J. C. Joosten},
  title   = {Universal Turing Machine},
  journal = {Archive of Formal Proofs},
  month   = feb,
  year    = 2019,
  note    = {\url{http://isa-afp.org/entries/Universal_Turing_Machine.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
