\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}
\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}