Goldberg, Mayer. “On the Recursive Enumerability of Fixed-Point Combinators”. BRICS Report Series 12, no. 1 (January 11, 2005). Accessed April 26, 2024. https://tidsskrift.dk/brics/article/view/21867.