Applied group-theoretic and matrix methods - Higman, Bryan (1964)