S. Barry Cooper: Definability as hypercomputational effect. Appl. Math. Comput. 178(1): 72-82 (2006)