@inproceedings(baumeler2018computational,
 author       = {{\"A}min Baumeler and Stefan Wolf},
 year         = {2018},
 title        = {Computational tameness of classical non-causal models},
 booktitle    = {Proc. R. Soc. A},
 volume       = {474},
 organization = {The Royal Society},
 pages        = {20170698},
 doi          = {10.1098/rspa.2017.0698},
)
@phdthesis(Blakey2010model,
 author       = {Edward William Blakey},
 year         = {2010},
 title        = {A model-independent theory of computational complexity : from patience to precision and beyond},
 school       = {University of Oxford, {UK}},
 url          = {http://ora.ox.ac.uk/objects/uuid:5db40e2c-4a22-470d-9283-3b59b99793dc},
)
@article(blum1989theory,
 author       = {Lenore Blum and Mike Shub and Steve Smale},
 year         = {1989},
 title        = {On a theory of computation and complexity over the real numbers: $ NP $-completeness, recursive functions and universal machines},
 journal      = {Bulletin (New Series) of the American Mathematical Society},
 volume       = {21},
 number       = {1},
 pages        = {1--46},
 doi          = {10.1090/S0273-0979-1989-15750-9},
)
@article(cobham1969intrinsic,
 author       = {Alan Cobham and Bar-Hillel, Yehoshua},
 year         = {1969},
 title        = {The intrinsic computational difficulty of functions},
)
@book(cooper2003computability,
 author       = {S. Barry Cooper},
 year         = {2004},
 title        = {Computability theory},
 publisher    = {Chapman \& Hall/CRC, Boca Raton, FL},
)
@inproceedings(deutsch1985quantum,
 author       = {David Deutsch},
 year         = {1985},
 title        = {Quantum theory, the Church-Turing principle and the universal quantum computer},
 booktitle    = {Proceedings of the Royal Society of London A: Mathematical, Physical and Engineering Sciences},
 volume       = {400},
 organization = {The Royal Society},
 pages        = {97--117},
 doi          = {10.1098/rspa.1985.0070},
)
@article(edmonds1965paths,
 author       = {Jack Edmonds},
 year         = {1965},
 title        = {Paths, trees, and flowers},
 journal      = {Canadian Journal of mathematics},
 volume       = {17},
 number       = {3},
 pages        = {449--467},
 doi          = {10.4153/CJM-1965-045-4},
)
@book(epstein2011classical,
 author       = {Richard L Epstein},
 year         = {2011},
 title        = {Classical mathematical logic: the semantic foundations of logic},
 publisher    = {Princeton University Press},
)
@article(Gurevich2000,
 author       = {Yuri Gurevich},
 year         = {2000},
 title        = {Sequential abstract-state machines capture sequential algorithms},
 journal      = {ACM Trans. Comput. Log.},
 volume       = {1},
 number       = {1},
 pages        = {77--111},
 doi          = {10.1145/343369.343384},
)
@article(hamkins2000infinite,
 author       = {Joel David Hamkins and Andy Lewis},
 year         = {2000},
 title        = {Infinite time Turing machines},
 journal      = {The Journal of Symbolic Logic},
 volume       = {65},
 number       = {2},
 pages        = {567--604},
 doi          = {10.2307/2586556},
)
@inproceedings(WhenDoesAPhysicalSystemCompute,
 author       = {Clare Horsman and Susan Stepney and Rob C Wagner and Viv Kendon},
 year         = {2014},
 title        = {When does a physical system compute?},
 booktitle    = {Proc. R. Soc. A},
 volume       = {470},
 organization = {The Royal Society},
 pages        = {20140182},
 doi          = {10.1098/rspa.2014.0182},
)
@book(kaye1991,
 author       = {Richard Kaye},
 year         = {1991},
 title        = {Models of {P}eano arithmetic},
 series       = {Oxford Logic Guides},
 volume       = {15},
 publisher    = {The Clarendon Press, Oxford University Press, New York},
 note         = {Oxford Science Publications},
)
@book(nielsen2010quantum,
 author       = {Michael A. Nielsen and Isaac L. Chuang},
 year         = {2000},
 title        = {Quantum computation and quantum information},
 publisher    = {Cambridge University Press, Cambridge},
 doi          = {10.1017/CBO9780511976667},
)
@book(vakil2011real,
 author       = {Nader Vakil},
 year         = {2011},
 title        = {Real analysis through modern infinitesimals},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511740305},
)
@article(vergis1986complexity,
 author       = {Anastasios Vergis and Kenneth Steiglitz and Bradley Dickinson},
 year         = {1986},
 title        = {The complexity of analog computation},
 journal      = {Mathematics and computers in simulation},
 volume       = {28},
 number       = {2},
 pages        = {91--113},
 doi          = {10.1016/0378-4754(86)90105-9},
)
@inproceedings(whyman2018physical,
 author       = {Richard Whyman},
 year         = {2018},
 title        = {Physical Computation and First-Order Logic},
 booktitle    = {Machines, Computations, and Universality - 8th International Conference, {MCU} 2018, Fontainebleau, France, June 28-30, 2018},
 doi          = {10.1007/978-3-319-92402-1},
)