The revival transformation (1994)

by Lawrence Feigen, David Klappholz, Robert Casazza, Xing Xue
Venue:In POPL ’94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages