GOLDBERG, M. Constructing Fixed-Point Combinators Using Application Survival. BRICS Report Series, v. 2, n. 35, 5 Jun. 1995.