1. Aransay, J.M.: Razonamiento mecanizado en álgebra homológica. PhD thesis (2006)
2. Artin, M., Grothendieck, A., Verdier, J,-L.: Univers Séminaire de Géométrie Algébrique du Bois Marie -,1963-64 - Théorie des topos et cohomologie étale des schémas - (SGA 4) - vol. 1, LNM 269, 185-217, Springer-Verlag, Berlin, New York (1963)
3. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
4. de Bruijn, N.G.: Telescopic mappings in typed lambda calculus. Inform. and Comput. 91(2), 189–204 (1991)
5. Barakat, M., Robertz, D.: homalg: First steps to an abstract package for homological algebra. In: Proceedings of the X meeting on computational algebra and its applications (EACA 2006), Sevilla, Spain, pp. 29–32 (2006)