´. E. Bruneton, R. Lenglet, and T. Coupaye, ASM: a code manipulation tool to implement adaptable systems, Proceedings of the ASF (ACM SIGOPS France) Journées Composants 2002 : SystèmesSystèmesà composants adaptables et extensibles (Adaptable and extensible component systems), 2002.

E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986.
DOI : 10.1145/5397.5399

M. Huth and M. Ryan, Logic in Computer Science: modelling and reasoning about systems, 2004.
DOI : 10.1017/CBO9780511810275

D. Lacey, Program Transformation using Temporal Logic Specifications, 2003.

T. Lindholm and F. Yellin, The Java Virtual Machine Specification, 1999.

P. Moreau, C. Ringeissen, and M. Vittek, A Pattern Matching Compiler for Multiple Target Languages, 12th Conference on Compiler Construction, Warsaw (Poland), pp.61-76, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099427

A. Reilles, Canonical Abstract Syntax Trees, Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006.
DOI : 10.1016/j.entcs.2007.06.014

URL : https://hal.archives-ouvertes.fr/inria-00000967

A. Rudys and D. Wallach, Enforcing Java Run-Time Properties Using Bytecode Rewriting, Proceedings of the International Symposium on Software Security, 2002.
DOI : 10.1007/3-540-36532-X_12

E. Visser, Z. Benaissa, and A. Tolmach, Building program optimizers with rewriting strategies, Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming, pp.13-26, 1998.

J. Visser, Visitor combination and traversal control, Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pp.270-282, 2001.