Michael A. Jahn: Sigma<sub>5</sub>-Completeness of Index Sets Arising from the Lattice of Recursively Enumerable Sets. Ann. Pure Appl. Log. 80(1): 55-67 (1996)