The Revival Transformation. - Lawrence Feigen; David Klappholz; Robert Casazza; Xing Xue (POPL, 1994)