1. Lecture Notes in Computer Science;D. Basin,2000
2. Basin, D., Clavel, M., Meseguer, J.: Reflective metalogical frameworks. ACM Transactions on Computational Logic 5, 528–576 (2004)
3. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
4. Electronic Notes in Theoretical Computer Science;M. Clavel,1998
5. Clavel, M.: The ITP Tool - An Inductive Theorem Prover Tool for Maude Membership Equational Specifications (2004)