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