1. M.S. Ager, Partial evaluation of string matchers & constructions of abstract machines, Ph.D. Thesis, BRICS, University of Aarhus, 2006
2. A functional correspondence between evaluators and abstract machines;Ager,2003
3. A functional correspondence between call-by-n~eed evaluators and lazy abstract machines;Ager;Inform. Process. Lett.,2004
4. A functional correspondence between monadic evaluators and abstract machines for languages with computational effects;Ager;Theoret. Comput. Sci.,2005
5. Design and correctness of program transformations based on control-flow analysis;Banerjee,2001