A join theorem for the computably enumerable degrees - Jockusch Jr., C.G. (2014)
10.1090/S0002-9947-04-03585-8