A text tracing the development of Daniel Quillen's theory of the higher algebraic K-groups which emphasizes the importance of computing homology of groups of matrices. Collects the results of a thorough examination of this and the related theorems. Of interest to researchers in K-theory, group homology, algebraic geometry, and topology.