Effectivity questions for Kleene's recursion theorem - Case J. (Elsevier, 2020)
10.1016/j.tcs.2018.04.036