1. Barakat, M., Robertz, D.: homalg: a meta-package for homological algebra. J. Algebra Appl. 7, 299–317 (2008)
2. Barakat, M., Lange-Hegermann, M.: An axiomatic setup for algorithmic homological algebra and an alternative approach to localization. J. Algebra Appl. 10, 269–293 (2011)
3. Barakat, M., Bremer, B.: Higher extension modules and the Yoneda product. Preprint arXiv:0802.3179 ( http://arxiv.org/abs/0802.3179 ), submitted for publication (2008)
4. Barakat, M.: Spectral filtrations via generalized morphisms. Preprint arXiv:0904.0240 ( http://arxiv.org/abs/0904.0240 ), submitted for publication (2009)
5. Bass, H.: Algebraic K-Theory. Benjamin, Elmsford (1968)