Goldberg, M. On the Recursive Enumerability of Fixed-Point Combinators. BRICS 2005, 12.