The revival transformation (1994)

by L Feigen, D Klappholz, R Cassazza, X Xue
Venue:in Conference Record of POPL ’94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages