Computability in analysis and physics. - Marian Boykan Pour-El; Jonathan Ian Richards (Springer, 1989)