. Wikipedia and . Moniac, At http://en.wikipedia.org, Computer, 2012.

A. Blass, N. Dershowitz, and Y. Gurevich, Exact Exploration and Hanging Algorithms, Proceedings of the 19th EACSL Annual Conferences on Computer Science Logic (Brno, pp.140-154, 2010.
DOI : 10.1007/978-3-642-15205-4_14

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

L. Blum, M. Shub, and S. Smale, On a theory of computation and complexity over the real numbers: $NP$- completeness, recursive functions and universal machines, Bulletin of the American Mathematical Society, vol.21, issue.1, pp.1-46, 1989.
DOI : 10.1090/S0273-0979-1989-15750-9

U. Boker and N. Dershowitz, The Church-Turing Thesis over Arbitrary Domains, Lecture Notes in Computer Science, vol.4800, pp.199-229, 2008.
DOI : 10.1007/978-3-540-78127-1_12

U. Boker and N. Dershowitz, Three Paths to Effectiveness, Lecture Notes in Computer Science, vol.23, 2010.
DOI : 10.1305/ndjfl/1093883561

V. Bush, The differential analyzer. A new machine for solving differential equations, Journal of the Franklin Institute, vol.212, issue.4, pp.447-488, 1931.
DOI : 10.1016/S0016-0032(31)90616-9

O. Bournez and M. L. Campagnolo, A Survey on Continuous Time Computations, Changing Conceptions of What is Computable, pp.383-423, 2008.
DOI : 10.1007/978-0-387-68546-5_17

URL : https://hal.archives-ouvertes.fr/hal-00760976

J. Cohen and A. Slissenko, On implementations of instantaneous actions real-time ASM by ASM with delays, Proc. of the 12th Intern. Workshop on Abstract State Machines (ASM '2005), pp.387-396, 2005.

J. Cohen and A. Slissenko, Implementation of sturdy real-time abstract state machines by machines with delays Academy of Science of Armenia 10. Coward, D.: Doug Coward's Analog Computer Museum, Proc. of the 6th Intern. Conf. on Computer Science and Information Technology, 2006.

N. Dershowitz and E. Falkovich, A formalization and proof of the Extended Church- Turing Thesis (extended abstract), Studia Logica Conference on Trends in Logic, IX: Church Thesis: Logic, Mind and Nature, 2011.

N. Dershowitz and Y. Gurevich, Abstract, Bulletin of Symbolic Logic, vol.33, issue.03, pp.299-350, 2008.
DOI : 10.1145/359863.359885

URL : https://hal.archives-ouvertes.fr/inria-00107627

A. Glausch and W. Reisig, A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines, Algebra and Coalgebra in Computer Science Lecture Notes in Computer Science, vol.4624, pp.242-256, 2007.
DOI : 10.1007/978-3-540-73859-6_17

Y. Gurevich, Evolving algebras 1993: Lipari guide Specification and Validation Methods, pp.9-36, 1995.

Y. Gurevich, Sequential abstract-state machines capture sequential algorithms, ACM Transactions on Computational Logic, vol.1, issue.1, pp.77-111, 2000.
DOI : 10.1145/343369.343384

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

Y. Gurevich and T. Yavorskaya, On bounded exploration and bounded nondeterminism, 2006.

W. Reisig, On Gurevich's theorem on sequential algorithms, Acta Informatica, vol.39, issue.4, pp.273-305, 2003.
DOI : 10.1007/s00236-002-0106-3

H. Rust, Hybrid abstract state machines: Using the hyperreals for describing continuous changes in a discrete notation, International Workshop on Abstract State Machines TIK-Report, pp.341-356, 2000.

C. E. Shannon, Mathematical Theory of the Differential Analyzer, Journal of Mathematics and Physics, vol.XXII, issue.1-4, pp.337-354, 1941.
DOI : 10.1002/sapm1941201337