@Article{debois06imperative,
  author = 	 {S\o ren Debois},
  title = 	 {Imperative-Program Transformation by
                  Instrumented-Interpreter Specialization},
  journal = 	 {Higher-Order and Symbolic Computation},
  year = 	 {2006},
  volume = 	 {},
  number = 	 {},
  pages =	 {},
  note =         {Accepted for publication}
}