1: \begin{thebibliography}{10}

2: 

3: \bibitem{Burgin}

4: Mark Burgin.

5: \newblock How we know what technology can do.

6: \newblock {\em Communications of the ACM}, 44:82--88, Nov. 2001.

7: 

8: \bibitem{Church}

9: Alonzo Church.

10: \newblock An unsolvable problem of elementary number theory.

11: \newblock {\em American Journal of Mathematics}, 58:345--363, 1936.

12: 

13: \bibitem{Cutland}

14: Nigel Cutland.

15: \newblock {\em Computability: {An} Introduction to Recursive Function Theory}.

16: \newblock Cambridge University Press, Cambridge, 1980.

17: 

18: \bibitem{Engeler}

19: Erwin Engeler.

20: \newblock {\em Formal Languages: {Automata} and Structures}.

21: \newblock Lectures in Advanced Mathematics. Markham Publishing Company,

22:   Chicago, IL, 1968.

23: 

24: \bibitem{Hennie}

25: Fred Hennie.

26: \newblock {\em Introduction to Computability}.

27: \newblock Addison-Wesley, Reading, MA, 1977.

28: 

29: \bibitem{Jones}

30: Neil~D. Jones.

31: \newblock {\em Computability and Complexity From a Programming Perspective}.

32: \newblock The MIT Press, Cambridge, Massachusetts, 1997.

33: 

34: \bibitem{Kleene}

35: Stephen Kleene.

36: \newblock Lambda-definability and recursiveness.

37: \newblock {\em Duke Mathematical Journal}, 2:340--353, 1936.

38: 

39: \bibitem{Rogers}

40: Hartley Rogers, Jr.

41: \newblock {\em Theory of Recursive Functions and Effective Computability}.

42: \newblock McGraw-Hill, New York, 1966.

43: 

44: \bibitem{Hava}

45: Hava~T. Siegelmann.

46: \newblock {\em Neural Networks and Analog Computation: {Beyond} the {Turing}

47:   Limit}.

48: \newblock Birkh{\" a}user, Boston, 1998.

49: 

50: \bibitem{Sommerhalder}

51: Rudolph Sommerhalder and S.~C. van Westrhenen.

52: \newblock {\em The Theory of Computability: {Programs}, Machines, Effectiveness

53:   and Feasibility}.

54: \newblock Addison-Wesley, Workingham, England, 1988.

55: 

56: \bibitem{Tourlakis}

57: George~J. Tourlakis.

58: \newblock {\em Computability}.

59: \newblock Reston Publishing Company, Reston, VA, 1984.

60: 

61: \bibitem{Turing}

62: Alan Turing.

63: \newblock On computable numbers, with an application to the

64:   {Entscheidungsproblem}.

65: \newblock {\em Proceedings of the London Mathematical Society}, 42:230--265,

66:   1936--37.

67: \newblock Corrections in vol. 43 (1937), pp. 544-546. Reprinted in M. Davis

68:   (ed.), ``The Undecidable,'' Raven Press, Hewlett, NY, 1965. Available at:

69:   http://www.abelard.org/turpap2/tp2-ie.asp.

70: 

71: \bibitem{Weihrauch}

72: Klaus Weihrauch.

73: \newblock {\em A Simple Introduction to Computable Analysis}.

74: \newblock Fern Universit\"{a}t, Hagen, Germany, July 1995.

75: \newblock Available at

76:   ftp://ftp.eccc.uni-trier.de/pub/eccc/books/Weihrauch/book.ps.

77: 

78: \end{thebibliography}

79: