Goldberg, M. (2004) “On the Recursive Enumerability of Fixed-Point Combinators”, BRICS Report Series, 11(25). doi: 10.7146/brics.v11i25.21850.