S. Greiner, “Run-time Manipulation of Programs in a Statically-Typed Language”, IJCAI, vol. 33, no. 3.