[Avi95] R. Avitzur. Direct Manipulation in a Mathematics User Interface. In N. Kajler,
        editor, Human Interaction for Symbolic Computation, Texts and Monographs in
        Symbolic Computation. Sprinder-Verlag, 1995. To appear. 
[Bac94] O. Bachmann. MAXIZIC - A Maxima interface to IZIC. RIACA technical report 4,  
        RIACA, Kruislaan 419, 1098 VA Amsterdam, Netherlands, 1994.
[Bac95] O. Bachmann. Chains of Recurrences for Functions of Two Variables and their  
        Application to Surface Plotting. In Norbert Kajler, editor, Human Interaction for
        Symbolic Computation, Texts and Monographs in Symbolic Computation. Sprinder- 
        Verlag, 1995. To appear. 
[Edw92] G. Edwards. Image Processing, chapter Visualization - the Second Generation, pages
        48-53. 1992.
[Fat92] R. Faterman. Honest Plotting, Global Extrema and Interval Arithmetic. In P. S. Wang,
        editor, proc. of ISSAC'92, pages 216-223, Berkeley, USA, July 1992. ACM Press.
[FKM93] R. Fournier, N. Kajler, and B. Mourrain. IZIC: a Portable Language-Driven Tool for
        Mathematical Surfaces Visualization. In A. Miola, editor, Proc. of DISCO'93 pages
        341-353, Gmunden, Austria, September 1993. LNCS 722, Springer-Verlag.
[GKW94] S. Gray, N. Kajler, and P. S. Wang. MP: A Protocol for Efficient Exchange of
        Mathematical Expressions. In Proc. of ISSAC'94, pages 330-335, Oxford, GB, July
        1994. ACM Press.
[Hec93] Andre Heck. Introduction to Maple. Springer Verlag, 1993. ISBN 0-387-97662-0.
[Kau94] Special issue on visualization. In A. E. Kaufman, editor, IEEE Computer,
        volume 27(7). July 1994.
[Moo79] R. E. Moore. Methods and Applications of Interval Analysis. Society for Industrial
        and Applied Mathematics (SIAM), Philadelphia, 1979.
[Ous94] J. K. Ousterhout. Tcl and the Tk Toolkit. Addison-Wesley, 1994.
[Roa94] K. Roach. Symbolic-Numeric Nonlinear Equation Solving. In Proc. of ISSAC'94, pages
        330-335, Oxford, GB, July 1994. ACM Press.
[Sny92] J. M. Snyder. Interval Analysis fro Computer Graphics. Computer Graphics, 26(2), 
        1992
[UFK+89]C. Upson, T. Faulhaber, D. Kamins, D. Laidlaw, D. Schlegel, J. Vroom, R. Gurwitz,
        and A. van Dam. The Application Visualization System: A Computational  
        Environment for Scientific Visualization. IEEE Computer Graphics and Application,
        9(4):30-42, July 1989.
[Wan90] P. S. Wang. A System Independent Graphing Package for mathematical Functions. In 
        A.Miora, editor, DISCO'90, pages 145-154, Capri, Italy, April 1990. LNCS 429,
        Springer-Verlag.
[Zim92] E. V. Zima. Recurrent Relations and Speed-up of Computations using Computer 
        Algebra Systems. In J. Fitch, editor, Proc. of DISCO'92, Bath, U.K., April 1992.
        LNCS 721, Springer-Verlag.
[Zim94] P. Zimmermann. A comparison of maple V.3 and Mathematica 2.2.2. 
        http://www.loria.fr/~zimmerma/maple/compare9.ps, September 1994.