John Foy: A dynamical system which must be stable whose stability cannot be proved. Theor. Comput. Sci. 328(3): 355-361 (2004)