Quillen's work in algebraic K -theory