M. Goldberg, “Constructing Fixed-Point Combinators Using Application Survival”, BRICS, vol. 2, no. 35, Jun. 1995.