Goldberg, M. On the Recursive Enumerability of Fixed-Point Combinators. BRICS 2004, 11.