with Ibanescu, L. , Kirchner, H. , 2006, Non-intrusive formal methods and strategic rewriting for a chemical application, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 194-215.