@article(blum,
 author       = "Manuel Blum",
 year         = "1967",
 title        = "A Machine-Independent Theory of the Complexity of Recursive Functions",
 journal      = "Journal of the Association for Computing Machinery (JACM)",
 volume       = "14",
 number       = "2",
 pages        = "322--336",
 url          = "http://doi.acm.org/10.1145/321386.321395",
)
@techreport(bonfantegreenbaum,
 author       = "Guillaume Bonfante and Benjamin Greenbaum",
 year         = "2013",
 title        = "Immune Systems in Computer Virology (working notes)",
 type         = "Technical Report",
 institution  = "Universit\'{e} de Lorraine",
 address      = "Nancy, France",
)
@inproceedings(marion,
 author       = "Guillaume Bonfante and Matthieu Kaczmarek and Jean-Yves Marion",
 year         = "2007",
 title        = "A Classification of Viruses Through Recursion Theorems",
 booktitle    = "Computability in Europe",
 series       = "Lecture Notes in Computer Science",
 volume       = "4497",
 publisher    = "Springer",
 pages        = "73--82",
 url          = "http://dx.doi.org/10.1007/978-3-540-73001-9_8",
)
@article(case,
 author       = "John Case and Samuel E. Moelius",
 year         = "2012",
 title        = "Program Self-Reference in Constructive {S}cott Subdomains",
 journal      = "Theory of Computing Systems",
 volume       = "51",
 number       = "1",
 pages        = "22--49",
 url          = "http://dx.doi.org/10.1007/s00224-011-9372-1",
)
@article(church,
 author       = "Alonzo Church and J. Barkley Rosser",
 year         = "1936",
 title        = "Some Properties of Conversion",
 journal      = "Transactions of the American Mathematical Society",
 volume       = "39",
 pages        = "11--21",
 url          = "http://dx.doi.org/10.2307/1989762",
)
@article(futamura,
 author       = "Yoshiko Futamura",
 year         = "1999",
 title        = "Partial evaluation of computing process -- an approach to a compiler-compiler",
 journal      = "Higher-Order and Symbolic Computation",
 volume       = "12",
 number       = "4",
 pages        = "381--391",
 url          = "http://dx.doi.org/10.1023/A:1010095604496",
)
@incollection(gandy,
 author       = "Robin Gandy",
 year         = "1988",
 title        = "The Confluence of Ideas in 1936",
 editor       = "Herken",
 pages        = "55--112",
 url          = "http://dx.doi.org/10.1007/978-3-7091-6597-3_3",
)
@inproceedings(pepm12,
 author       = "Roberto Giacobazzi and Neil D. Jones and Isabella Mastroeni",
 year         = "2012",
 title        = "Obfuscation by partial evaluation of distorted interpreters",
 booktitle    = "ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012",
 pages        = "63--72",
 url          = "http://doi.acm.org/10.1145/2103746.2103761",
)
@inproceedings(botik,
 author       = "Torben Amtoft Hansen and Thomas Nikolajsen and Jesper Larsson Tr{\"a}ff and Neil D. Jones",
 year         = "1989",
 title        = "Experiments with Implementations of Two Theoretical Constructions",
 booktitle    = "Logic at Botik",
 series       = "LNCS",
 volume       = "363",
 publisher    = "Springer",
 pages        = "119--133",
 url          = "http://dx.doi.org/10.1007/3-540-51237-3_11",
)
@article(blob,
 author       = "Lars Hartmann and Neil D. Jones and Jakob Grue Simonsen and S{\o }ren Bjerregaard Vrist",
 year         = "2011",
 title        = "Programming in Biomolecular Computation: Programs, Self-Interpretation and Visualisation",
 journal      = "Scientific Annals of Computer Science",
 volume       = "21",
 number       = "1",
 pages        = "73--106",
 url          = "http://www.infoiasi.ro/bin/Annals/Article?v=XXI1{\&}a=9",
)
@book(|herken88,
 editor       = "Rolf Herken",
 year         = "1988",
 title        = "The Universal Turing Machine. A Half-Century Survey",
 publisher    = "Oxford University Press",
 url          = "http://dx.doi.org/10.1007/978-3-7091-6597-3",
)
@inproceedings(stoc,
 author       = "Neil D. Jones",
 year         = "1993",
 title        = "Constant time factors do matter",
 booktitle    = "ACM Symposium on Theory of Computing, STOC 1993",
 publisher    = "ACM",
 pages        = "602--611",
 url          = "http://doi.acm.org/10.1145/167088.167244",
)
@book(Jones:97:ComputabilityComplexity,
 author       = "Neil D. Jones",
 year         = "1997",
 title        = "Computability and Complexity from a Programming Perspective",
 edition      = "1",
 series       = "Foundations of Computing",
 publisher    = "MIT Press",
 address      = "Boston, London",
 url          = "http://dx.doi.org/10.1016/S1571-0661(04)00019-2",
)
@article(logspace,
 author       = "Neil D. Jones",
 year         = "1999",
 title        = "{\sc logspace} and {\sc ptime} Characterized by Programming Languages",
 journal      = "Theoretical Computer Science",
 volume       = "228",
 number       = "1-2",
 pages        = "151--174",
 url          = "http://dx.doi.org/10.1016/S0304-3975(98)00357-0",
)
@book(JGS,
 author       = "Neil D. Jones and Carsten K. Gomard and Peter Sestoft",
 year         = "1993",
 title        = "Partial Evaluation and Automatic Program Generation",
 publisher    = "Prentice-Hall",
)
@techreport(kiselyov,
 author       = "Oleg Kiselyov",
 year         = "2011",
 title        = "Investigations into {K}leene's 2nd recursion theorem",
 type         = "Technical Report",
 institution  = "Fleet Numerical Meteorology and Oceanography Center",
 address      = "{\tt http://okmij.org/ftp/Haskell/Kleene.hs}",
)
@article(kleene,
 author       = "Stephen Cole Kleene",
 year         = "1938",
 title        = "On Notation for Ordinal Numbers",
 journal      = "Journal of Symbolic Logic",
 volume       = "3",
 number       = "4",
 pages        = "150--155",
 url          = "http://dx.doi.org/10.2307/2267778",
)
@book(kleenebook,
 author       = "Stephen Cole Kleene",
 year         = "1952",
 title        = "Introduction to Metamathematics",
 publisher    = "Van Nostrand",
 url          = "http://dx.doi.org/10.1007/978-0-8176-4769-8_11",
)
@book(machteyyoung,
 author       = "Michael Machtey and Paul Young",
 year         = "1978",
 title        = "An introduction to the general theory of algorithms",
 series       = "Theory of computation series",
 publisher    = "North-Holland",
 address      = "New York",
)
@inproceedings(marionroyalsociety,
 author       = "Jean-Yves Marion",
 year         = "2012",
 title        = "From {T}uring machines to computer viruses",
 booktitle    = "Philosophical transactions of the {R}oyal {S}ociety {A}",
 series       = "Lecture Notes in Computer Science",
 volume       = "370.1971",
 publisher    = "Royal Society publishing",
 pages        = "3319--3339",
 url          = "http://dx.doi: 10.1098/rsta.2011.0332",
)
@article(mccarthy,
 author       = "John McCarthy",
 year         = "1960",
 title        = "Recursive Functions of Symbolic Expressions and Their Computation by Machine",
 journal      = "Communications of the Association for Computing Machinery (CACM)",
 volume       = "3",
 number       = "4",
 pages        = "184--195",
 url          = "http://doi.acm.org/10.1145/367177.367199",
)
@book(minsky,
 author       = "Marvin Minsky",
 year         = "1967",
 title        = "Computation: Finite and Infinite Machines",
 publisher    = "Prentice-Hall Series in Automatic Computation",
)
@inproceedings(inheritedlimits,
 author       = "Torben {\AE }. Mogensen",
 year         = "1996",
 title        = "Evolution of partial evaluators: removing inherited limits",
 booktitle    = "Partial Evaluation. Proceedings, LNCS 1110, 303Ð321",
 publisher    = "Springer-Verlag",
 pages        = "303--321",
 url          = "http://dx.doi.org/10.1007/3-540-61580-6_15",
)
@article(DBLP:journals/lisp/Mogensen00,
 author       = "Torben {\AE }. Mogensen",
 year         = "2000",
 title        = "Linear-Time Self-Interpretation of the Pure Lambda Calculus",
 journal      = "Higher-Order and Symbolic Computation",
 volume       = "13",
 number       = "3",
 pages        = "217--237",
 url          = "http://dx.doi.org/10.1023/A:1010058213619",
)
@article(moschovakis,
 author       = "Yiannis N. Moschovakis",
 year         = "2010",
 title        = "Kleene's amazing Second Recursion Theorem",
 journal      = "Bulletin of Symbolic Logic",
 volume       = "16",
 number       = "2",
 pages        = "189--239",
 url          = "http://dx.doi.org/10.2178/bsl/1286889124",
)
@article(moss,
 author       = "Lawrence S. Moss",
 year         = "2006",
 title        = "Recursion Theorems and Self-Replication Via Text Register Machine Programs",
 journal      = "Bulletin of the European Association for Theoretical Computer Science",
 volume       = "89",
 pages        = "171--182",
)
@book(rogers,
 author       = "Hartley Rogers",
 year         = "1987",
 title        = "Theory of recursive functions and effective computability (Reprint from 1967)",
 publisher    = "MIT Press",
 url          = "http://mitpress.mit.edu/catalog/item/default.asp?ttype=2{\&}tid=3182",
)
@article(shepherdsonsturgis,
 author       = "John C. Shepherdson and Howard E. Sturgis",
 year         = "1961",
 title        = "Computability of Recursive Functions",
 journal      = "Journal of the Association for Computing Machinery (JACM)",
 volume       = "10",
 pages        = "217--255",
 url          = "http://dx.doi.org/10.1145/321160.3 21170",
)
@article(thompson,
 author       = "Ken Thompson",
 year         = "1984",
 title        = "Reflections on trusting trust",
 journal      = "Communications of the Association for Computing Machinery (CACM)",
 volume       = "27",
 number       = "8",
 pages        = "761--763",
 url          = "http://doi.acm.org/10.1145/358198.358210",
)
@article(turing,
 author       = "Alan M. Turing",
 year         = "1936-7",
 title        = "On Computable Numbers with an Application to the {E}ntscheidungsproblem",
 journal      = "Proceedings of the London Mathematical Society",
 volume       = "42",
 number       = "2",
 pages        = "230--265",
)