Goldberg, Mayer. “On the Recursive Enumerability of Fixed-Point Combinators”. BRICS Report Series, bd. 12, nr. 1, januar 2005, doi:10.7146/brics.v12i1.21867.