1. Abstract and Concrete Categories;Adámek,1990
2. M. Archer, B.D. Vito, C. Muñoz, Developing user strategies in PVS: a tutorial, in: Proc. Int. Workshop on Design and Application of Strategies/Tactics in Higher Order Logics, number CP-2003-212448 in NASA Conference Publication, pp. 16–42.
3. Crafting a proof assistant;Asperti,2007
4. Simple consequence relations;Avron;Inform. and Comput.,1991
5. B. Barras, S. Boutin, C. Cornes, J. Courant, J. Filliatre, E. Giménez, H. Herbelin, G. Huet, C. Muñoz, C. Murthy, C. Parent, C. Paulin, A. Saïbi, B. Werner, The Coq Proof Assistant Reference Manual, 2006.