\begin{thebibliography}{10}

\bibitem{BCGR92}
D.~Berque, R.~Cecchini, M.~Goldberg, and R.~Rivenburgh.
\newblock The setplayer system for symbolic computation on power sets.
\newblock {\em Journal of Symbolic Computation}, 14:645--662, 1992.

\bibitem{tr95}
J.~Berry, N.~Dean, P.~Fasel, M.~Goldberg, E.~Johnson, J.~MacCuish, G.~Shannon,
  and S.~Skiena.
\newblock Link: A combinatorics and graph theory workbench for applications and
  research.
\newblock Technical Report 95-15, Center for Discrete Mathematics and
  Theoretical Computer Science (see also: http://dimacs.rutgers.edu),
  Piscataway, NJ, 1995.

\bibitem{bm76}
J.~Bondy and U.~Murty.
\newblock {\em Graph Theory with Applications}.
\newblock North-Holland, 1976.

\bibitem{DeanS92}
N.~Dean and G.~E. Shannon, editors.
\newblock {\em Computational Support for Discrete Mathematics}. American
  Mathematical Society, 1993.
\newblock DIMACS Series in Discrete Mathematics and Theoretical Computer
  Science, Volume 15.

\bibitem{eg95}
E.~Gallesio.
\newblock The stk reference manual.
\newblock Technical Report RT 95-31a, I3S CNRS, Universit\'{e} de Nice - Sophia
  Antipolis, France, 1995.

\bibitem{bm90}
B.~McKay.
\newblock nauty user's guide (version 1.5).
\newblock Technical Report TR-CS-90-02, Department of Computer Science,
  Australian National University, Australia, 1990.

\bibitem{MeN95}
K.~Mehlhorn and S.~N{\"a}hger.
\newblock Leda: A platform for combinatorial and geometric computing.
\newblock {\em CACM}, 38(1):96--102, Jan 1995.

\bibitem{MDM90}
M.~Mevenkamp, N.~Dean, and C.~Monma.
\newblock {NETPAD} user's guide and reference guide, 1990.

\bibitem{Ous94}
J.~Ousterhout.
\newblock {\em Tcl and the Tk Toolkit}.
\newblock Addison-Wesley, 1994.

\bibitem{SMF90}
G.~Shannon, L.~Meeden, and D.~Friedman.
\newblock {SchemeGraphs}: An object-oriented environment for manipulating
  graphs, 1990.
\newblock Software and documentation.

\bibitem{Ski90}
S.~Skiena.
\newblock {\em Implementing Discrete Mathematics: Combinatorics and Graph
  Theory with Mathematica}.
\newblock Addison-Wesley, 1990.

\bibitem{TIT93}
R.~Tamassia and I.~G. Tollis, editors.
\newblock {\em Proceedings of the DIMACS International Workshop on Graph
  Drawing}, 1994.
\newblock Lecture Notes in Computer Science, 894.

\end{thebibliography}
