A. Arnold and D. Niwi?ski, Rudiments of µ-calculus. Studies in logic and the foundations of mathematics, 2001.

W. Belkhir, A. Giorgetti, and M. Lenczner, A symbolic transformation language and its application to a multiscale method, Journal of Symbolic Computation, vol.65, pp.49-78, 2014.
DOI : 10.1016/j.jsc.2014.01.004
URL : https://hal.archives-ouvertes.fr/hal-00917323

W. Belkhir, N. Ratier, D. Duc-nguyen, B. Yang, and M. Lenczner, Frédéric Zamkotsian, and Horatiu Cirstea. Towards an automatic tool for multiscale model derivation illustrated with a micro-mirror array, SYNASC 2015, pp.47-54, 2015.

C. Benzmüller, A top-down approach to combining logics, ICAART, pp.346-351, 2013.

N. Charalambakis, Homogenization Techniques and Micromechanics. A Survey and Perspectives, Applied Mechanics Reviews, vol.63, issue.3, p.30803, 2010.
DOI : 10.1115/1.4001911

H. Cirstea, C. Kirchner, L. Liquori, and B. Wack, Rewrite Strategies in the Rewriting Calculus, Electronic Notes in Theoretical Computer Science, vol.86, issue.4, pp.593-62403, 2003.
DOI : 10.1016/S1571-0661(05)82613-1
URL : https://hal.archives-ouvertes.fr/inria-00099586

B. Courcelle, Fundamental properties of infinite trees, Theoretical Computer Science, vol.25, issue.2, pp.95-169, 1983.
DOI : 10.1016/0304-3975(83)90059-2

S. Ghilardi and L. Santocanale, Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics, LPAR'03, pp.152-166
DOI : 10.1007/978-3-540-39813-4_10
URL : https://hal.archives-ouvertes.fr/hal-01281233

M. Lenczner and R. C. Smith, A two-scale model for an array of AFM???s cantilever in the static case, Mathematical and Computer Modelling, vol.46, issue.5-6, pp.5-6776, 2007.
DOI : 10.1016/j.mcm.2006.12.028

Z. Manna and C. G. Zarba, Combining decision procedures In Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, Revised Papers, pp.381-422, 2002.

B. Yang, W. Belkhir, and M. Lenczner, COMPUTER-AIDED DERIVATION OF MULTISCALE MODELS: A REWRITING FRAMEWORK, International Journal for Multiscale Computational Engineering, vol.12, issue.2, pp.91-114, 2014.
DOI : 10.1615/IntJMultCompEng.2014006595
URL : https://hal.archives-ouvertes.fr/hal-00916568