Jack H. Lutz An Upward Measure Separation Theorem. 127-135 1991 81 Theor. Comput. Sci. 1 db/journals/tcs/tcs81.html#Lutz91