Goldberg, M. Constructing Fixed-Point Combinators Using Application Survival. BRICS 1995, 2.