===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/bib.tex,v
retrieving revision 1.3
retrieving revision 1.6
diff -u -p -r1.3 -r1.6
--- OpenXM/doc/issac2000/bib.tex	2000/01/11 05:17:11	1.3
+++ OpenXM/doc/issac2000/bib.tex	2000/01/15 03:47:58	1.6
@@ -1,4 +1,4 @@
-%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.2 2000/01/03 04:27:52 takayama Exp $
+%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.5 2000/01/15 03:23:59 takayama Exp $
 
 \begin{thebibliography}{X}
 \bibitem{OpenMath}
@@ -17,7 +17,8 @@ Design and Implementation of MP, a Protocol for Effici
 {\sl Journal of Symbolic Computation}, 1996.
 \bibitem{Singular}
 Greuel, G.-M. et al., SINGULAR : a computer algebra system for polynomial
-computations, {\tt http://www.mathematik.uni-kl.de/\~\,zca/Singular/}.
+computations, \\
+{\tt http://www.mathematik.uni-kl.de/\~\,zca/Singular/}.
 \bibitem{gap}
 Linton, S. and Solomon, A.,
 OpenMath, IAMC and {\tt GAP},
@@ -48,7 +49,7 @@ Advances in Applied Mathematics, {\bf 61}, 61--105, 19
 \bibitem{sst-book}
 Saito, M., Sturmfels, B. and Takayama, N.,
 {\it Gr\"obner Deformations of Hypergeometric Differential Equations}.
-Springer, 1999.
+Algorithms and Computation in Mathematics {\bf 6}. Springer, 1999.
 \bibitem{schefstrom}
 Schefstr\"om, D.,
 Building a highly integrated development environment using
@@ -63,10 +64,8 @@ its implementation,
 	Takayama, N.,
 	{\em Kan: A system for computation in
 	algebraic analysis,} 1991 version 1,
-        1994 version 2, the latest version is 2.991106.
-	Source code available for Unix computers. 
-         Contact the author, or download from \\
-	{\tt \small ftp.math.kobe-u.ac.jp} via anonymous ftp.
+        1994 version 2, the latest version is 2.991106. 
+	{\tt \small ftp.math.kobe-u.ac.jp}
 \bibitem{phc}
 Verschelde, J.,
 PHCpack: A general-purpose solver for polynomial systems by
@@ -76,4 +75,8 @@ homotopy continuation.  ACM Transaction on Mathematica
 Wang, P.,
 Design and Protocol for Internet Accessible Mathematical Computation.
 Technical Report ICM-199901-001, ICM/Kent State University, 1999.
+\bibitem{mathlink}
+Wolfram, S.,
+{\it The Mathematica Book, Fourth Edition}.
+1999, Cambridge University Press.
 \end{thebibliography}