On the existence of algorithms
1989 ◽
pp. 18-31