Applied Group-Theoretic and Matrix Methods - Higman, Bryan