1: \begin{thebibliography}{BCSS97}
2:
3: \bibitem[Abe80]{aberth80}
4: O.~Aberth.
5: \newblock {\em Computable Analysis}.
6: \newblock MIT Press, 1980.
7:
8: \bibitem[Abe01]{aberth01}
9: O.~Aberth.
10: \newblock {\em Computable Calculus}.
11: \newblock Addison-Wesley, 2001.
12:
13: \bibitem[BCSS97]{bcss}
14: L.~Blum, F.~Cucker, M.~Shub, and S.~Smale.
15: \newblock {\em Complexity and Real Computation}.
16: \newblock Springer-Verlag, 1997.
17:
18: \bibitem[Bra96]{brattka96}
19: V.~Brattka.
20: \newblock Recursive characterisation of computable real-valued functions and
21: relations.
22: \newblock {\em Theoretical Computer Science}, 162:45--77, 1996.
23:
24: \bibitem[Bra99]{brattka:thesis}
25: V.~Brattka.
26: \newblock {\em Recursive and computable operations over topological
27: structures}.
28: \newblock Ph.d. thesis, FernUniversit\"at Hagen, Fachbereich Informatik, Hagen,
29: Germany, 1999.
30: \newblock Informatik Berichte 255, FernUniversit\"at Hagen, July 1999.
31:
32: \bibitem[BSS89]{bss}
33: L.~Blum, M.~Shub, and S.~Smale.
34: \newblock On a theory of computation and complexity over the real numbers: \
35: np-completeness, recursive functions and universal machines.
36: \newblock {\em Bulletin of the American Mathematical Society}, 21:1--46, 1989.
37:
38: \bibitem[Dij76]{dijkstra:book}
39: E.W. Dijkstra.
40: \newblock {\em A Discipline of Programming}.
41: \newblock Prentice Hall, 1976.
42:
43: \bibitem[Dug66]{dugundji:book}
44: J.~Dugundji.
45: \newblock {\em Topology}.
46: \newblock Allyn and Bacon, 1966.
47:
48: \bibitem[Eda95]{edalat95:icomp}
49: A.~Edalat.
50: \newblock Dynamical systems, measures, and fractals via domain theory.
51: \newblock {\em Information \& Computation}, 120:32--48, 1995.
52:
53: \bibitem[Eda97]{edalat97}
54: A.~Edalat.
55: \newblock Domains for computation in mathematics, physics and exact real
56: arithmetic.
57: \newblock {\em Bulletin of Symbolic Logic}, 3:401--452, 1997.
58:
59: \bibitem[Eng89]{engelking:book}
60: R.~Engelking.
61: \newblock {\em General Topology}.
62: \newblock Heldermann Verlag, 1989.
63:
64: \bibitem[GTW78]{adj78}
65: J.A. Goguen, J.W. Thatcher, and E.G. Wagner.
66: \newblock An initial approach to the specification, correctness and
67: implementation of abstract data types.
68: \newblock In R.T. Yeh, editor, {\em Current Trends in Programming Methodology,
69: vol\. 4: Data Structuring}, pages 80--149. Prentice Hall, 1978.
70:
71: \bibitem[Hea97]{heath:book}
72: M.T. Heath.
73: \newblock {\em Scientific Computing: An Introductory Survey}.
74: \newblock McGraw-Hill, 1997.
75:
76: \bibitem[Kel55]{kelley:book}
77: J.L. Kelley.
78: \newblock {\em General Topology}.
79: \newblock Van Nostrand, 1955.
80: \newblock Reprinted Springer-Verlag, 1975.
81:
82: \bibitem[MG85]{meseguer-goguen}
83: J.~Meseguer and J.A. Goguen.
84: \newblock Initiality, induction and computability.
85: \newblock In M.~Nivat and J.~Reynolds, editors, {\em Algebraic Methods in
86: Semantics}, pages 459--541. Cambridge University Press, 1985.
87:
88: \bibitem[Mos64]{moscho64}
89: Y.N. Moschovakis.
90: \newblock Recursive metric spaces.
91: \newblock {\em Fundamenta Mathematicae}, 55:215--238, 1964.
92:
93: \bibitem[Odi99]{odifreddi:book}
94: P.~Odifreddi.
95: \newblock {\em Classical Recursion Theory \,{\rm (2nd ed.)}}.
96: \newblock North Holland, 1999.
97:
98: \bibitem[PER89]{pourel-richards}
99: M.B. Pour-El and J.I. Richards.
100: \newblock {\em Computability in Analysis and Physics}.
101: \newblock Springer-Verlag, 1989.
102:
103: \bibitem[Roy63]{royden}
104: H.L. Royden.
105: \newblock {\em Real Analysis}.
106: \newblock Macmillan, 1963.
107:
108: \bibitem[SHT88]{stolt-jvt88}
109: V.~Stoltenberg-Hansen and J.V. Tucker.
110: \newblock Complete local rings as domains.
111: \newblock {\em Journal of Symbolic Logic}, 53:603--624, 1988.
112:
113: \bibitem[SHT95]{stolt-jvt95}
114: V.~Stoltenberg-Hansen and J.V. Tucker.
115: \newblock Effective algebras.
116: \newblock In S.~Abramsky, D.~Gabbay, and T.~Maibaum, editors, {\em Handbook of
117: Logic in Computer Science}, volume~4, pages 357--526. Oxford University
118: Press, 1995.
119:
120: \bibitem[SHT99]{stolt-jvt99:tcs}
121: V.~Stoltenberg-Hansen and J.V. Tucker.
122: \newblock Concrete models of computation for topological algebras.
123: \newblock {\em Theoretical Computer Science}, 219:347--378, 1999.
124:
125: \bibitem[Ste96]{stephenson:thesis}
126: K.~Stephenson.
127: \newblock {\em An Algebraic Approach to Syntax, Semantics and Computation}.
128: \newblock Ph{D} {T}hesis, Department of Computer Science, University of Wales,
129: Swansea, 1996.
130:
131: \bibitem[Ste98]{stewart:thesis}
132: K.~Stewart.
133: \newblock {\em Concrete and Abstract Models of Computation over Metric
134: Algebras}.
135: \newblock Ph{D} {T}hesis, Department of Computer Science, University of Wales,
136: Swansea, 1998.
137:
138: \bibitem[TL80]{taylor-lay}
139: A.E. Taylor and D.C. Lay.
140: \newblock {\em Introduction to Functional Analysis}.
141: \newblock John Wiley \& Sons, 1980.
142:
143: \bibitem[TZ88]{tz:book}
144: J.V. Tucker and J.I. Zucker.
145: \newblock {\em Program Correctness over Abstract Data Types, with Error-State
146: Semantics}, volume~6 of {\em CWI Monographs}.
147: \newblock North Holland, 1988.
148:
149: \bibitem[TZ92a]{tz:sanantonio}
150: J.V. Tucker and J.I. Zucker.
151: \newblock Examples of semicomputable sets of real and complex numbers.
152: \newblock In J.P. {Myers, Jr.} and M.J. O'Donnell, editors, {\em Constructivity
153: in Computer Science: \ Summer Symposium, San Antonio, Texas, June 1991},
154: volume 613 of {\em Lecture Notes in Computer Science}, pages 179--198.
155: Springer-Verlag, 1992.
156:
157: \bibitem[TZ92b]{tz:prague}
158: J.V. Tucker and J.I. Zucker.
159: \newblock Theory of computation over stream algebras, and its applications.
160: \newblock In I.M. Havel and V.~Koubek, editors, {\em Mathematical Foundations
161: of Computer Science 1992: \ 17th International Symposium, Prague}, volume 629
162: of {\em Lecture Notes in Computer Science}, pages 62--80. Springer-Verlag,
163: 1992.
164:
165: \bibitem[TZ94]{tz:markt}
166: J.V. Tucker and J.I. Zucker.
167: \newblock Computable functions on stream algebras.
168: \newblock In H.~Schwichtenberg, editor, {\em Proof and Computation:
169: \,{N}{A}{T}{O} {A}dvanced {S}tudy {I}nstitute {I}nternational {S}ummer
170: {S}chool at {M}arktoberdorf, 1993}, pages 341--382. Springer-Verlag, 1994.
171:
172: \bibitem[TZ99]{tz:top}
173: J.V. Tucker and J.I. Zucker.
174: \newblock Computation by `while' programs on topological partial algebras.
175: \newblock {\em Theoretical Computer Science}, 219:379--420, 1999.
176:
177: \bibitem[TZ00]{tz:hb}
178: J.V. Tucker and J.I. Zucker.
179: \newblock Computable functions and semicomputable sets on many-sorted algebras.
180: \newblock In S.~Abramsky, D.~Gabbay, and T.~Maibaum, editors, {\em Handbook of
181: Logic in Computer Science}, volume~5, pages 317--523. Oxford University
182: Press, 2000.
183:
184: \bibitem[TZ01]{tz:spec}
185: J.V. Tucker and J.I. Zucker.
186: \newblock Abstract computability, algebraic specification and initiality.
187: \newblock {\em ACM Transactions on Computational Logic}, 2001.
188: \newblock To appear.
189:
190: \bibitem[Wei00]{weih:book}
191: K.~Weihrauch.
192: \newblock {\em Computable Analysis: An Introduction}.
193: \newblock Springer-Verlag, 2000.
194:
195: \bibitem[Wir91]{wirsing}
196: M.~Wirsing.
197: \newblock Algebraic specification.
198: \newblock In J.~van Leeuwen, editor, {\em Handbook of Theoretical Computer
199: Science, Vol\. B: Formal Methods and Semantics}, pages 675--788. North
200: Holland, 1991.
201:
202: \end{thebibliography}
203: