Goldberg, M. (2005) “On the Recursive Enumerability of Fixed-Point Combinators”, BRICS Report Series, 12(1). doi: 10.7146/brics.v12i1.21867.