1. Sacks, G. E. and Slaman, T. A. (1987). Inadmissible forcing. Adv. in Math. 66 No.1, 1--30. [MR] [GS][MRef]
2. Slaman, Theodore A. (1985). Reflection and forcing in E-recursion theory. Ann. Pure Appl. Logic 29 No.1, 79--106. [MR] [GS][MRef]