A Historical Review of Computational Group Theory