1. Abelson, H., Eisenberg, M., Halfant, M., Katzenelson, J., Sacks, E., Sussman, G. J., Wisdom, J. and Yip, K., “Intelligence in Scientific Computing,”Communications of the ACM, 32, pp. 546–562, 1989.
2. Guckenheimer, J. and Holmes, P.,Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields, Springer-Verlag, 1983.
3. Hirsch, M. W. and Smale, S.,Differential Equations, Dynamical Systems, and Linear Algebra, Academic Press, 1974.
4. Kalagnanam, J., “Integration of Symbolic and Numeric Methods for Qualitative Reasoning,”Technical Report, CMU-EPP-1991-01-01, Engineering and Public Policy, CMU, 1991.
5. Mizutani, K., “Automated Analysis of Qualitative Behavior of Ordinary Differential Equations in Three-Dimensional Phase Space,”Master thesis, Department of Information Science, Kyoto University, (in Japanese), 1992.