Applied group-theoretic and matrix methods. - Higman, B. (The Clarendon Press, 1955)