1. Recursive adaptive computations using per object visitors;Abdelmeged,2007
2. Type-based termination of generic programs;Abel;Science of Computer Programming,2009
3. Tom: piggybacking rewriting on java;Balland,2007
4. Rewriting strategies in java;Balland;ENTCS,2008
5. The essence of data access in Cω;Bierman,2005