Algebraic K-theory: Evanston, 1980: proceedings of the confe