\begin{thebibliography}{CDHW73}

\bibitem[Ban56]{Ban56}
P.~A. Bandler.
\newblock A method for enumerating the cosets of an abstract group on a digital
  computer.
\newblock M.~{A}.~thesis, University of Manchester, 1956.

\bibitem[Cav86]{Cav86}
A.~Cavicchioli.
\newblock A countable class of non-homeomorphic homology spheres with {H}eegard
  genus 2.
\newblock {\em Geometria Dedicata}, 20:345--348, 1986.

\bibitem[CDHW73]{CDHW73}
J.~J. Cannon, L.~A. Dimino, G.~Havas, and J.~M. Watson.
\newblock Implementation and analysis of the {T}odd-{C}oxeter algorithm.
\newblock {\em Mathematics of Computation}, 27:463--490, 1973.

\bibitem[Ede89]{Ede89}
M.~Edeson.
\newblock Investigations in coset enumeration.
\newblock M.~{A}.~thesis, Canberra College of Advanced Education, since 1990
  University of Canberra, 1989.

\bibitem[Fel61]{Fel61}
H.~Felsch.
\newblock Programmierung der {R}estklassenabz{\accent127 a}hlung einer {G}ruppe
  nach {U}ntergruppen.
\newblock {\em Nu\-me\-ri\-sche Mathematik}, 3:250--256, 1961.

\bibitem[Hav91]{Hav91}
George Havas.
\newblock Coset enumeration strategies.
\newblock In {\em Proceedings of the International Symposium on Symbolic and
  Algebraic Computation (ISSAC'91), Bonn 1991}, pages 191--199. ACM Press,
  1991.

\bibitem[HR99]{HR99b}
G.~Havas and C.~Ramsay.
\newblock The trivial group made easy, a case study in coset enumeration.
\newblock Draft Manuscript, 1999.

\bibitem[HR01]{HR99a}
G.~Havas and C.~Ramsay.
\newblock Experiments in coset enumeration.
\newblock 2001.

\bibitem[Lee84]{Lee84}
J.~Leech.
\newblock Coset enumeration.
\newblock In Michael~D. Atkinson, editor, {\em Computational Group Theory,
  Proceedings LMS Symposium on Computational Group Theory, Durham 1982}, pages
  3--18. Academic Press, 1984.

\bibitem[Neu79]{Neu79}
B.~H. Neumann.
\newblock Proofs.
\newblock {\em The mathematical intelligencer}, 2:18--19, 1979.

\bibitem[Neu82]{Neu82}
Joachim Neub{\accent127u}ser.
\newblock An elementary introduction to coset table methods in computational
  group theory.
\newblock In Colin~M. Campbell and Edmund~F. Robertson, editors, {\em
  Groups-St.Andrews 1981, Proceedings of a conference, St.Andrews 1981},
  volume~71 of {\em London Math. Soc. Lecture Note Series}, pages 1--45.
  Cambridge University Press, 1982.

\bibitem[Ram99]{Ram99}
C.~Ramsay.
\newblock {\em {ACE} User Manual}.
\newblock Department of Computer Science \& Electrical Engineering and
  Department of Mathematics, The University of Queensland, QLD 4072, Australia,
  1999.
\newblock Draft.

\bibitem[Sim94]{Sims94}
C.~C. Sims.
\newblock {\em Computation with Finitely Presented Groups}.
\newblock Cambridge University Press, 1994.

\end{thebibliography}
