1. George Havas, M. F. Newman, Alice C. Niemeyer, and Charles C. Sims, Computing in groups with exponent six, Computational and Geometric Aspects of Modern Algebra, London Math. Soc. Lecture Note Ser., vol. 275, Cambridge Univ. Press, Cambridge, 1998, pp. 87–100.
  2. George Havas, M. F. Newman, Alice C. Niemeyer, and Charles C. Sims, Groups with exponent six, Comm. Algebra 27 (1999), no. 8, 3619–3638.[MR]
  3. George Havas and Charles C. Sims, A presentation for the Lyons simple group, Computational methods for representations of groups and algebras (Essen, 1997), Progr. Math., vol. 173, Birkhäuser, Basel, 1999, pp. 241–249.[MR]
  4. Charles C. Sims, Computing with subgroups of automorphism groups of finite groups, in ISSAC '97: Proceedings of the 1997 international symposium on Symbolic and algebraic computation, ACM Press, New York, NY, USA, 1997, pp. 400–403.[doi]