1. Aransay, J., Ballarin, C., Rubio, J.: Towards a Higher Reasoning Level in Formalized Homological Algebra. In: Proceedings Calculemus 2003, Aracné Éditrice, pp. 84–88 (2003)
2. Lecture Notes in Artificial Intelligence;J. Aransay,2004
3. Aransay, J., Ballarin, C., Rubio, J.: A Mechanized Proof of the Basic Perturbation Lemma. Preprint
4. Berciano, A., Sergeraert, F.: Software to compute A
∞ -(co)algebras: Araia & Craic (2006),
http://www.ehu.es/aba/araia-craic.htm
5. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development. In: Coq’Art: The Calculus of Inductive Constructions, Springer, Heidelberg (2004)