David W. Juedes James I. Lathrop Jack H. Lutz Computational Depth and Reducibility. 37-70 1994 132 Theor. Comput. Sci. 2 db/journals/tcs/tcs132.html#JuedesLL94