Springer
Lecture Notes in Computer Science
International Conference on Rewriting Techniques and Applications
RTA System demonstration
Specification and Analysis of Embedded Systems

van de Pol, J.C. (2002). JITty: a Rewriter with Strategy Annotations. In Proceedings of Internatonal Conference Rewriting Techniques and Applications 2002 (13) (pp. 1–4). Springer.