Jens Blanck Vasco Brattka Peter Hertling Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers CCA Lecture Notes in Computer Science 2064 Springer 2001 3-540-42197-1 db/conf/cca/cca2000.html