===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/bib.tex,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/doc/issac2000/bib.tex	2000/01/02 07:32:11	1.1
+++ OpenXM/doc/issac2000/bib.tex	2000/01/03 04:27:52	1.2
@@ -1,4 +1,4 @@
-%$OpenXM$
+%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.1 2000/01/02 07:32:11 takayama Exp $
 
 \begin{thebibliography}{X}
 \bibitem{OpenMath}
@@ -9,7 +9,7 @@ The OpenMath Standard. D1.3.2a (Public) \\
 February, 1999.
 \bibitem{CLO}
 Cox, D., Little, J.,  O'Shea,
-{\it Using Algebraic Geometry}
+{\it Using Algebraic Geometry}, Springer, 1998.
 \bibitem{GKW}
 Gray, S., Kajler, N. and Wang, P. S.,
 Design and Implementation of MP, a Protocol for Efficient
@@ -19,20 +19,27 @@ Design and Implementation of MP, a Protocol for Effici
 Linton, S. and Solomon, A.,
 OpenMath, IAMC and {\tt GAP},
 preprint, 1999.
+\bibitem{MPI} Message Passing Interface,
+{\tt http://www.mir-forum.org} 
 \bibitem{netsolve}
 NetSolve, {\tt http://www.cs.utk.edu/netsolve}
 \bibitem{asir} 
 Noro, T. et al., 
 A Computer Algebra System {\tt Risa/Asir},  1993, 1995, 2000\\
-{\rm ftp://endeavor.fujitsu.co.jp/pub/isis/asir}
-\bibitem{NT} 
-\bibitem{noro-mackay}
-Noro, M and McKay, 
+{\tt ftp://endeavor.fujitsu.co.jp/pub/isis/asir}
+\bibitem{noro-mckay}
+Noro, M. and McKay, J.,
+Computation of replicable functions on Risa/Asir.
+Proceedings of the Second International Symposyum on
+Symbolic Computation PASCO'97, ACM Press, 130-138 (1997).
 \bibitem{noro-takayama}
 Noro, M and Takayama, N., Design and Implementation
-of OpenXM, (in Japanese) 1996, 1997, 1998, 1999.
+of OpenXM, 1996, 1997, 1998, 1999, 2000.
 \bibitem{oaku-advance}
 Oaku, T.,
+Algorithms for $b$-functions, restrictions, and algebraic local cohomology
+groups of $D$-modules.
+Advances in Applied Mathematics, {\bf 61}, 61--105, 1997.
 \bibitem{openxm-web}
 {\footnotesize {\tt http://www.math.kobe-u.ac.jp/OpenXM}}
 \bibitem{sst-book}