Higman, B

Applied group theoretic and matrix methods - Dover