Peter A. Broadbery T. Gómez-Díaz Stephen M. Watt On the Implementation of Dynamic Evaluation. 77-84 1995 ISSAC http://doi.acm.org/10.1145/220346.220356 db/conf/issac/issac95.html#BroadberyGW95