Goldberg, M. “On the Recursive Enumerability of Fixed-Point Combinators”. BRICS Report Series, vol. 12, no. 1, Jan. 2005, doi:10.7146/brics.v12i1.21867.