M. Goldberg, “On the Recursive Enumerability of Fixed-Point Combinators”, BRICS, bd. 12, nr. 1, jan. 2005.