MDL: A Language and Compiler for Dynamic Program Instrumentation. - Jeffrey K. Hollingsworth; Barton P. Miller; M. J. R. Goncalves; Oscar Naim; Zhichen Xu; Ling Zheng (IEEE PACT, 1997)