Computability in analysis and physics - Pour-El M B; Richards J I (Berlin Springer Verlag, 1989)
Keywords: Computability; Computer science; Programming languages