  
  
  [1XReferences[101X
  
  [[20XBar[120X] [16XBarakat, M.[116X, [17XSpectral Filtrations via Generalized Morphisms[117X, [18X[118X, [19X[119X, (), , ((arxiv.org/abs/0904.0240)).
  
  [[20XBR06[120X] [16XBarakat, M. and Robertz, D.[116X, [17Xhomalg: First steps to an abstract package for homological algebra[117X, in Proceedings of the X meeting on
  computational       algebra      and      its      applications      (EACA      2006),      Sevilla      (Spain)      (2006),      29--32,
  ((http://homalg.math.rwth-aachen.de/maple/homalg_eaca06.pdf)).
  
  [[20XBR08[120X]  [16XBarakat,  M.  and  Robertz,  D.[116X,  [17Xhomalg  --  A  Meta-Package  for  Homological  Algebra[117X, [18XJ. Algebra Appl.[118X, [19X7[119X, 3 (2008), 299--317,
  ((arXiv:math.AC/0701146)).
  
  [[20XCQ11[120X]  [16XCoquand,  T.  and  Quitté, C.[116X, [17XConstructive finite free resolutions[117X, [18Xmanuscripta mathematica[118X, Springer Berlin / Heidelberg (2011),
  1-15.
  
  
  
  [32X
