Applied Group-theoretic and matrix methods. - Higman, Bryan