@unpublished{BaSF,
       author          = {Barakat, Mohamed},
       title           = {Spectral filtrations via generalized morphisms},
       year            = {2009},
       note            = {(\href{http://arxiv.org/abs/0904.0240}{\texttt{arXiv:0904.0240}})},
}

@article {BR,
    AUTHOR = {Barakat, Mohamed and Robertz, Daniel},
     TITLE = {$\mathtt{homalg}$ -- {A} meta-package for homological algebra},
   JOURNAL = {J. Algebra Appl.},
  FJOURNAL = {Journal of Algebra and its Applications},
    VOLUME = {7},
      YEAR = {2008},
    NUMBER = {3},
     PAGES = {299--317},
      ISSN = {0219-4988},
   MRCLASS = {16E30 (16-04)},
  MRNUMBER = {2431811 (2009f:16010)},
MRREVIEWER = {Mikael Vejdemo Johansson},
       DOI = {10.1142/S0219498808002813},
       URL = {https://dx.doi.org/10.1142/S0219498808002813},
      note = {(\href{http://arxiv.org/abs/math.AC/0701146}{\texttt{arXiv:math.AC/0701146}})},
}

@INPROCEEDINGS{BREACA,
      author = {Barakat, Mohamed and Robertz, Daniel},
       title = {\href{https://algebra.mathematik.uni-siegen.de/barakat/eaca/homalg_eaca06.pdf}{$\mathtt{homalg}$: {F}irst steps} to an abstract package for homological algebra},
   booktitle = {Proceedings of the X meeting on computational algebra and its applications - \href{http://alojamientos.us.es/eaca2006/eaca2006_eng.html}{EACA 2006}},
        year = {2006},
       month = {September},
         day = {7--9},
     address = {Sevilla, Spain},
       pages = {29--32},
}

@article {CQ11,
   author = {Coquand, Thierry and Quitté, Claude},
   affiliation = {Department of Computer Science, Chalmers, University of Göteborg, 412-96 Göteborg, Sweden},
   title = {Constructive finite free resolutions},
   journal = {manuscripta mathematica},
   publisher = {Springer Berlin / Heidelberg},
   issn = {0025-2611},
   keyword = {Mathematics and Statistics},
   pages = {1-15},
   url = {https://doi.org/10.1007/s00229-011-0466-5},
   doi = {10.1007/s002290110466-5},
   year = {2011}
}