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