\bibstyle{alpha}
\bibdata{manual}
\citation{Grape}
\citation{Nauty}
\citation{GAPDoc}
\citation{Extrep}
\citation{Dotw}
\citation{McSo}
\citation{CaSo}
\citation{CaSo}
\citation{McSo}
\citation{McSo}
\citation{Extrep}
