A functional correspondence between evaluators and abstract machines, in (2003)

by M S Ager, D Biernacki, O Danvy, J Midtgaard
Venue:Proc. of 5th Int. ACMSIGPLAN Conf. on Principles and Practice of Declarative Programming, PPDP 2003