S. Barry Cooper Definability as hypercomputational effect. 72-82 2006 178 Applied Mathematics and Computation 1 http://dx.doi.org/10.1016/j.amc.2005.09.072 db/journals/amc/amc178.html#Cooper06