1. Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Brückner, B., Mosses, P.D., Sannella, D., Tarlecki, A.: CASL: The Common Algebraic Specification Language. Theoretical Computer Science 286(2), 153–196 (2002)
2. Attiogbé, C., Francheteau, A., Limousin, J., Salaün, G.: ISA, a Tool for Integrated Specifications Animation, Available at
http://www.sciences.univ-nantes.fr/info/perso/permanents/salaun/ISA/isa.html
3. Lecture Notes in Computer Science;T. Basten,1999
4. Lecture Notes in Computer Science;J.-P. Bodeveix,2002
5. Bodeveix, J.-P., Filali, M., Muñoz, C.: A Formalization of the B Method in Coq and PVS. In: Proc. of the B Users Group Meeting – Applying B in an industrial context: Tools, Lessons nd Techniques (FM 1999), pp. 32–48. Springer, Heidelberg (1999)