Computation of the E_3-term of the Adams spectral sequence
  An algorithm is described giving effective determination of the second differential in the Adams spectral sequence. The algorithm is based on the notion of secondary derived functor, and on the explicit algebraic model of the groupoid enriched category of stable maps and stable tracks between Eilenberg-Mac Lane spaces. 
Hans Joachim Baues, Mamuka Jibladze