The 1-type of a Waldhausen K-theory spectrum
  We give a small functorial algebraic model for the 2-stage Postnikov section of the K-theory spectrum of a Waldhausen category and use our presentation to describe the multiplicative structure with respect to biexact functors. 
Fernando Muro and Andrew Tonks