Theodore A. Slaman John R. Steel Complementation in the Turing Degrees. 160-176 1989 54 J. Symb. Log. 1 db/journals/jsyml/jsyml54.html#SlamanS89