M. Goldberg, “Constructing Fixed-Point Combinators Using Application Survival”, BRICS, bd. 2, nr. 35, jun. 1995.