Goldberg, Mayer. “On the Recursive Enumerability of Fixed-Point Combinators”. BRICS Report Series 12, no. 1 (januar 11, 2005). Set december 6, 2025. https://tidsskrift.dk/brics/article/view/21867.