Rodney G. Downey Denis R. Hirschfeldt Geoffrey LaForte Randomness and reducibility. 96-114 2004 68 J. Comput. Syst. Sci. 1 http://dx.doi.org/10.1016/j.jcss.2003.07.004 db/journals/jcss/jcss68.html#DowneyHL04