1. Till Stegers, Faugère's F5 algorithm revisited, Master's Thesis, Technische Universiteit Darmstadt, 2005.[link]