M. Goldberg, “On the Recursive Enumerability of Fixed-Point Combinators”, BRICS, bd. 11, nr. 25, nov. 2004.