@@ -1,298 +1,298 @@
-
-@BOOK{Gates:91,
-  AUTHOR = "B.L. Gates",
-  TITLE = "{GENTRAN} User's Manual, {REDUCE} Version",
-  ADDRESS = "{Santa Monica, Cal.}",
-  PUBLISHER = "Rand Corporation",
-  YEAR = 1991}
-
-@BOOK{Hearn:95,
-  AUTHOR = "A.C. Hearn",
-  TITLE = "{REDUCE} User's Manual, Version 3.6",
-  ADDRESS = "{Santa Monica, Cal.}",
-  PUBLISHER = "{Rand Corporation, Publication CP78(Rev. 7/95)}",
-  YEAR = 1995}
-
-@BOOK{Molenkamp:94,
-  AUTHOR = "J.H.J. Molenkamp and J.A. van Hulzen and V.V. Goldman",
-  TITLE = "An arbitrary precision real interval arithmetic package in {REDUCE},
-              {Memorandum INF-94-14}",
-  ADDRESS = "{Enschede, The Netherlands}",
-  PUBLISHER = "{University of Twente}",
-  YEAR = 1994}
-
-@ARTICLE{Gates:85,
-  AUTHOR = "B. L. Gates",
-  TITLE =  "{GENTRAN}: An automatic code generation facility for {REDUCE}",
-  JOURNAL = "{ACM SIGSAM} Bulletin",
-  VOLUME = 19, NUMBER = 3, PAGES = "24-42",
-  YEAR = 1985}
-
-@INPROCEEDINGS{Gates:84,
-  AUTHOR = "B. L. Gates and P. S. Wang",
-  TITLE = "{LISP}-based {RATFOR} code generator",
-  EDITOR = "V. E. Golden",
-  PAGES = "319-329",
-  BOOKTITLE = "1984 MACSYMA User's Conference",
-  ADDRESS = "Schenectady, N.Y.",
-  ORGANIZATION = "Gen. El.",
-  YEAR = 1984}
-
-@INPROCEEDINGS{Gates:86,
-  AUTHOR = "B. L. Gates",
-  TITLE = "A Numerical Code Generation Facility for {REDUCE}",
-  EDITOR = "B.W. Char",
-  PAGES = "94-99",
-  BOOKTITLE = "Proceedings {SYMSAC} '86",
-  ADDRESS = "New York", PUBLISHER = "{ACM} Press",
-  YEAR = 1986}
-
-@INPROCEEDINGS{Bradford:86,
-  AUTHOR = "R.J. Bradford and A.C. Hearn and J.A. Padget and E. Schr{\"{u}}fer",
-  TITLE = "Enlarging the {REDUCE} Domain of Computation",
-  EDITOR = "B.W. Char",
-  PAGES = "100-106",
-  BOOKTITLE = "Proceedings {SYMSAC} '86",
-  ADDRESS = "New York", PUBLISHER = "{ACM} Press",
-  YEAR = 1986}
-
-@INPROCEEDINGS{vanHulzen:89,
-  AUTHOR = "J.A. van Hulzen and B.J.A. Hulshof and B. L. Gates and
-           M.C. van Heerwaarden",
-  TITLE = "A Code Optimization package for {REDUCE}",
-  EDITOR = "G.H. Gonnet",
-  PAGES = "163-170",
-  BOOKTITLE = "Proceedings {ISSAC} '89",
-  ADDRESS = "New York", PUBLISHER = "{ACM} Press",
-  YEAR = 1989}
-
-@INPROCEEDINGS{Borst:94,
-  AUTHOR = "W.N. Borst and V.V. Goldman and J.A. van Hulzen",
-  TITLE = "{GENTRAN90}: A {REDUCE} package for the  generation of {FORTRAN} 90
-           code",
-  EDITOR = "J. von zur Gathen and M. Giesbrecht",
-  PAGES ="45-51",
-  BOOKTITLE = "Proceedings  {ISSAC} '94",
-  ADDRESS = "New York", PUBLISHER = "{ACM} Press",
-  YEAR = 1994}
-
-@INPROCEEDINGS{Dyer:94,
-  AUTHOR = "Ch. C. Dyer",
-  TITLE = "An application of symbolic computation in the physical sciences",
-  EDITOR = "J. von zur Gathen and M. Giesbrecht",
-  PAGES ="181-186",
-  BOOKTITLE = "Proceedings  {ISSAC} '94",
-  ADDRESS = "New York", PUBLISHER = "{ACM} Press",
-  YEAR = 1994}
-
-@INPROCEEDINGS{Ganzha:94,
-  AUTHOR = "V.G. Ganzha and E.V. Vorozhtsov and J. Boers and J.A. van Hulzen",
-  TITLE = "Symbolic-Numeric Stability Investigations of {Jameson}'s Schemes for
-           Thin-layer {Navier-Stokes} Equations",
-  EDITOR = "J. von zur Gathen and M. Giesbrecht",
-  PAGES = "242-249",
-  BOOKTITLE = "Proceedings {ISSAC} '94",
-  ADDRESS = "New York", PUBLISHER = "{ACM} Press",
-  YEAR = 1994}
-
-@INPROCEEDINGS{Ganzha:92,
-  AUTHOR = "V.G. Ganzha and E.V. Vorozhtsov and J.A. van Hulzen",
-  TITLE = "A New Symbolic-Numeric Approach to Stability Analysis of Difference
-           Schemes",
-  EDITOR = "P.S. Wang",
-  PAGES = "9-15",
-  BOOKTITLE = "Proceedings {ISSAC} '92",
-  ADDRESS = "New York", PUBLISHER = "{ACM} Press",
-  YEAR = 1992}
-
-@INPROCEEDINGS{Goldman:95,
-  AUTHOR = "V.V. Goldman and J.A. van Hulzen and  A.E. Mynett and
-            A.S. Posthuma and H.J. van Zuylen",
-  TITLE = "The application of computer algebra for the discretization and coding
-           of the {Navier-Stokes} equations",
-  EDITOR = "A.M. Cohen and S.M. Verduyn Lunel",
-  BOOKTITLE = "{Computer Algebra in Industry, Problem Solving in Practice,
-               Proceedings of the 1992 SCAFI Seminar}",
-  ADDRESS = "Chichester", PUBLISHER = "John Wiley \& Sons",
-  YEAR = "1995 (to appear)"}
-
-@INPROCEEDINGS{vanHulzen:95,
-  AUTHOR = "J.A. van Hulzen",
-  TITLE = "Towards Automated Program Generation in Computer Algebra
-           Environments",
-  EDITOR = "A.M. Cohen and S.M. Verduyn Lunel",
-  BOOKTITLE = "{Computer Algebra in Industry, Problem Solving in Practice,
-               Proceedings of the 1992 SCAFI Seminar}",
-  ADDRESS = "Chichester", PUBLISHER = "John Wiley \& Sons",
-  YEAR = "1995 (to appear)"}
-
-@INPROCEEDINGS{Berger:92,
-  AUTHOR = "F.C. Berger and V.V. Goldman and M.C. van Heerwaarden
-            and J.A. van Hulzen",
-  TITLE = "Automatic generation of numerical code for {Jacobians and Hessians}",
-  EDITOR = "P.W. Gaffney and E.N. Houstis",
-  PAGES = "309-320",
-  BOOKTITLE = "Programming Environments for High-Level Scientific
-               Problem Solving",
-  ADDRESS = "Amsterdam", PUBLISHER = "North-Holland",
-  YEAR = 1992}
-
-@INPROCEEDINGS{Goldman:91,
-  AUTHOR = "V.V. Goldman and J.H.J. Molenkamp and J.A. van Hulzen",
-  TITLE = "Efficient Numerical Program Generation and Computer Algebra
-           Environments",
-  EDITOR = "A. Griewank and G.E. Corliss",
-  PAGES = "74-84",
-  BOOKTITLE = "{Automatic Differentiation of Algorithms: Theory, Implementation,
-               and Application}",
-  ADDRESS = "Philadelphia", PUBLISHER = "{SIAM}",
-  YEAR = 1991}
-
-@INPROCEEDINGS{Hearn:85,
- AUTHOR = "Anthony C. Hearn",
- TITLE = "Structure:  The Key to Improved Algebraic Computation",
- EDITOR = "N. Inada and T. Soma",
- YEAR = 1985,
- BOOKTITLE = "Proc. of the Second {RIKEN} International
- Symposium on Symbolic and Algebraic Computation by Computers",
- PUBLISHER = "World Scientific", ADDRESS = "Singapore", PAGES = "215-230"}
-
-@INPROCEEDINGS{Hearn:86,
- AUTHOR = "Anthony C. Hearn",
- TITLE = "Optimal Evaluation of Algebraic Expressions",
- EDITOR = "J. Calmet",
- BOOKTITLE = "Proc. of {AAECC}-3, LNCS",
-  PUBLISHER = "Springer Verlag",
-  SERIES = "Springer {LNCS}",
-  ADDRESS = "Heidelberg",
- YEAR = 1986, VOLUME = 229, PAGES = "392-403"}
-
-@ARTICLE{Knuth:71,
-  AUTHOR = "D. E. Knuth",
-  TITLE = "An empirical study of Fortran programs",
-  JOURNAL = "Software Practice and Experience",
-  VOLUME = 1, PAGES = "105-133", YEAR = 1971}
-
-@BOOK{Aho:86,
-  AUTHOR = "A. V. Aho and R. Sethi and J. D. Ullman",
-  TITLE = "Compiler Principles, Techniques and Tools",
-  ADDRESS = "Reading, Mass",
-  PUBLISHER = "Addison-Wesley",
-  YEAR = 1986}
-
-@ARTICLE{Gonzales,
-  AUTHOR = "T. Gonzales and J. Ja' Ja'",
-  TITLE = "Evaluation of arithmetic expressions with algebraic identities",
-  JOURNAL = "{SIAM} J. Comp", YEAR = 1982,
-  VOLUME = 11, NUMBER = 4, PAGES = "633-662"}
-
-@ARTICLE{Johnson:79,
-  AUTHOR = "B. B. Johnson and W. Miller and B. Minnihan and C. Wrathall",
-  TITLE = "Reducibility among floating-point graphs",
-  JOURNAL = "Journal of the {ACM}", VOLUME = 26, NUMBER = 4,
-  PAGES = "739-760", YEAR = 1979}
-
-@ARTICLE{Smit:81,
-  AUTHOR = "J. Smit and J.A. van Hulzen and B.J.A. Hulshof",
-  TITLE = "{NETFORM} and code optimizer manual",
-  JOURNAL = "{ACM SIGSAM} Bulletin",
-  VOLUME =15, NUMBER = 4, PAGES = "23-32",
-  YEAR = 1981}
-
-@INPROCEEDINGS{Smit:82,
-  AUTHOR = "J. Smit and J.A. van Hulzen",
-  TITLE = "Symbolic-numeric methods in microwave technology",
-  BOOKTITLE = "Proceedings {EUROCAM} '82",
-  EDITOR = "J. Calmet",
-  PUBLISHER = "Springer Verlag",
-  SERIES = "Springer {LNCS}",
-  VOLUME = 144, PAGES = "281-288",
-  ADDRESS = "Heidelberg",
-  YEAR = 1982}
-
-@INPROCEEDINGS{vanHulzen:83,
-  AUTHOR = "J.A. van Hulzen",
-  TITLE = "Code optimization of multivariate polynomial schemes: A pragmatic
-approach",
-  BOOKTITLE = "Proceedings {EUROCAL} '83",
-  EDITOR = "J.A. van Hulzen",
-  SERIES = "Springer {LNCS}",
-  VOLUME = 162, PAGES = "286-300",
-  ADDRESS = "Heidelberg", PUBLISHER = "Springer Verlag", YEAR = 1983}
-
-@INPROCEEDINGS{Wang:84,
-  AUTHOR = "P.S. Wang and T.Y.P. Chang and J.A. van Hulzen",
-  TITLE = "Code generation and optimization for finite element analysis",
-  BOOKTITLE = "Proceedings {EUROSAM} '84",
-  EDITOR = "J.P. Fitch",
-  SERIES = "Springer {LNCS}",
-  VOLUME = 174, PAGES = "237-247",
-  ADDRESS = "Heidelberg", PUBLISHER = "Springer Verlag", YEAR = 1984}
-
-@INPROCEEDINGS{Hulshof,
-  AUTHOR = "B.J.A. Hulshof and J.A. van Hulzen",
-  TITLE = "Automatic error cumulation control",
-  BOOKTITLE = "Proceedings {EUROSAM} '84",
-  EDITOR = "J.P. Fitch",
-  SERIES = "Springer {LNCS}",
-  VOLUME = 174, PAGES = "260-271",
-  ADDRESS = "Heidelberg", PUBLISHER = "Springer Verlag", YEAR = 1984}
-
-@INPROCEEDINGS{Heuvel:89,
-  AUTHOR = "P. van den Heuvel and J.A. van Hulzen and V.V. Goldman",
-  TITLE = "Automatic generation of {FORTRAN}-coded {Jacobians and Hessians}",
-  BOOKTITLE = "Proceedings {EUROCAL} '87",
-  EDITOR = "J.H. Davenport",
-  SERIES = "Springer {LNCS}",
-  VOLUME = 378, PAGES = "120-131",
-  ADDRESS = "Heidelberg", PUBLISHER = "Springer Verlag", YEAR = 1989}
-
-@INPROCEEDINGS{Goldman:89,
-  AUTHOR = "V.V. Goldman and J.A. van Hulzen",
-  TITLE = "Automatic code vectorization of arithmetic expressions by
-           bottom-up structure recognition",
-  BOOKTITLE = "Computer Algebra and Parallelism",
-  EDITOR = "J. Della Dora and J.P. Fitch",
-  PAGES = "119-132",
-  ADDRESS = "London",
-  PUBLISHER = "Academic Press", YEAR = 1989}
-
-@INPROCEEDINGS{vanHulzen:81,
-  AUTHOR = "J.A. van Hulzen",
-  TITLE = "Breuer's grow factor algorithm in computer algebra",
-  BOOKTITLE = "Proceedings {SYMSAC} '81",
-  EDITOR = "P.S. Wang",
-  PAGES = "100-104", ADDRESS = "New York", PUBLISHER = "{ACM} Press",
-  YEAR = 1981}
-
-@INPROCEEDINGS{Molenkamp:91,
-  AUTHOR = "J.H.J. Molenkamp and V.V. Goldman and J.A. van Hulzen",
-  TITLE = "An improved approach to automatic error cumulation control",
-  BOOKTITLE = "Proceedings {ISSAC} '91",
-  EDITOR = "S.M. Watt",
-  PAGES = "414-418", ADDRESS = "New York", PUBLISHER = "{ACM} Press",
-  YEAR = 1991}
-
-@ARTICLE{Breuer:69,
-  AUTHOR = "M.A. Breuer",
-  TITLE = "Generation of optimal code for expressions via factorization",
-  JOURNAL = "Communications of the {ACM}",
-  VOLUME = 12, NUMBER = 6, PAGES = "330-340", YEAR = 1969}
-
-@BOOK{Knuth:80,
-  AUTHOR = "D.E. Knuth",
-  TITLE = "The art of computer programming",
-  VOLUME = 2, EDITION = "Second", ADDRESS = "Reading, Mass",
-  PUBLISHER = "Addison-Wesley",
-  YEAR = 1980}
-
-@INPROCEEDINGS{vanHulzen:90,
-  AUTHOR = "J.A. van Hulzen",
-  TITLE = "Current trends in source-code optimization",
-  EDITOR = "D.V. Shirkov and V.A. Rostovtsev and V.P. Gerdt",
-  BOOKTITLE = "Proceedings {JINR IV} Conference on Computer Algebra and its
-                Applications in Theoretical Physics",
-  ADDRESS = "Dubna", MONTH = "May", YEAR = 1990,
-  NOTE = "Also available as Memorandum {\bf INF-90-41}, Department of
-Computer Science, University Twente"}
-
+
+@BOOK{Gates:91,
+  AUTHOR = "B.L. Gates",
+  TITLE = "{GENTRAN} User's Manual, {REDUCE} Version",
+  ADDRESS = "{Santa Monica, Cal.}",
+  PUBLISHER = "Rand Corporation",
+  YEAR = 1991}
+
+@BOOK{Hearn:95,
+  AUTHOR = "A.C. Hearn",
+  TITLE = "{REDUCE} User's Manual, Version 3.6",
+  ADDRESS = "{Santa Monica, Cal.}",
+  PUBLISHER = "{Rand Corporation, Publication CP78(Rev. 7/95)}",
+  YEAR = 1995}
+
+@BOOK{Molenkamp:94,
+  AUTHOR = "J.H.J. Molenkamp and J.A. van Hulzen and V.V. Goldman",
+  TITLE = "An arbitrary precision real interval arithmetic package in {REDUCE},
+              {Memorandum INF-94-14}",
+  ADDRESS = "{Enschede, The Netherlands}",
+  PUBLISHER = "{University of Twente}",
+  YEAR = 1994}
+
+@ARTICLE{Gates:85,
+  AUTHOR = "B. L. Gates",
+  TITLE =  "{GENTRAN}: An automatic code generation facility for {REDUCE}",
+  JOURNAL = "{ACM SIGSAM} Bulletin",
+  VOLUME = 19, NUMBER = 3, PAGES = "24-42",
+  YEAR = 1985}
+
+@INPROCEEDINGS{Gates:84,
+  AUTHOR = "B. L. Gates and P. S. Wang",
+  TITLE = "{LISP}-based {RATFOR} code generator",
+  EDITOR = "V. E. Golden",
+  PAGES = "319-329",
+  BOOKTITLE = "1984 MACSYMA User's Conference",
+  ADDRESS = "Schenectady, N.Y.",
+  ORGANIZATION = "Gen. El.",
+  YEAR = 1984}
+
+@INPROCEEDINGS{Gates:86,
+  AUTHOR = "B. L. Gates",
+  TITLE = "A Numerical Code Generation Facility for {REDUCE}",
+  EDITOR = "B.W. Char",
+  PAGES = "94-99",
+  BOOKTITLE = "Proceedings {SYMSAC} '86",
+  ADDRESS = "New York", PUBLISHER = "{ACM} Press",
+  YEAR = 1986}
+
+@INPROCEEDINGS{Bradford:86,
+  AUTHOR = "R.J. Bradford and A.C. Hearn and J.A. Padget and E. Schr{\"{u}}fer",
+  TITLE = "Enlarging the {REDUCE} Domain of Computation",
+  EDITOR = "B.W. Char",
+  PAGES = "100-106",
+  BOOKTITLE = "Proceedings {SYMSAC} '86",
+  ADDRESS = "New York", PUBLISHER = "{ACM} Press",
+  YEAR = 1986}
+
+@INPROCEEDINGS{vanHulzen:89,
+  AUTHOR = "J.A. van Hulzen and B.J.A. Hulshof and B. L. Gates and
+           M.C. van Heerwaarden",
+  TITLE = "A Code Optimization package for {REDUCE}",
+  EDITOR = "G.H. Gonnet",
+  PAGES = "163-170",
+  BOOKTITLE = "Proceedings {ISSAC} '89",
+  ADDRESS = "New York", PUBLISHER = "{ACM} Press",
+  YEAR = 1989}
+
+@INPROCEEDINGS{Borst:94,
+  AUTHOR = "W.N. Borst and V.V. Goldman and J.A. van Hulzen",
+  TITLE = "{GENTRAN90}: A {REDUCE} package for the  generation of {FORTRAN} 90
+           code",
+  EDITOR = "J. von zur Gathen and M. Giesbrecht",
+  PAGES ="45-51",
+  BOOKTITLE = "Proceedings  {ISSAC} '94",
+  ADDRESS = "New York", PUBLISHER = "{ACM} Press",
+  YEAR = 1994}
+
+@INPROCEEDINGS{Dyer:94,
+  AUTHOR = "Ch. C. Dyer",
+  TITLE = "An application of symbolic computation in the physical sciences",
+  EDITOR = "J. von zur Gathen and M. Giesbrecht",
+  PAGES ="181-186",
+  BOOKTITLE = "Proceedings  {ISSAC} '94",
+  ADDRESS = "New York", PUBLISHER = "{ACM} Press",
+  YEAR = 1994}
+
+@INPROCEEDINGS{Ganzha:94,
+  AUTHOR = "V.G. Ganzha and E.V. Vorozhtsov and J. Boers and J.A. van Hulzen",
+  TITLE = "Symbolic-Numeric Stability Investigations of {Jameson}'s Schemes for
+           Thin-layer {Navier-Stokes} Equations",
+  EDITOR = "J. von zur Gathen and M. Giesbrecht",
+  PAGES = "242-249",
+  BOOKTITLE = "Proceedings {ISSAC} '94",
+  ADDRESS = "New York", PUBLISHER = "{ACM} Press",
+  YEAR = 1994}
+
+@INPROCEEDINGS{Ganzha:92,
+  AUTHOR = "V.G. Ganzha and E.V. Vorozhtsov and J.A. van Hulzen",
+  TITLE = "A New Symbolic-Numeric Approach to Stability Analysis of Difference
+           Schemes",
+  EDITOR = "P.S. Wang",
+  PAGES = "9-15",
+  BOOKTITLE = "Proceedings {ISSAC} '92",
+  ADDRESS = "New York", PUBLISHER = "{ACM} Press",
+  YEAR = 1992}
+
+@INPROCEEDINGS{Goldman:95,
+  AUTHOR = "V.V. Goldman and J.A. van Hulzen and  A.E. Mynett and
+            A.S. Posthuma and H.J. van Zuylen",
+  TITLE = "The application of computer algebra for the discretization and coding
+           of the {Navier-Stokes} equations",
+  EDITOR = "A.M. Cohen and S.M. Verduyn Lunel",
+  BOOKTITLE = "{Computer Algebra in Industry, Problem Solving in Practice,
+               Proceedings of the 1992 SCAFI Seminar}",
+  ADDRESS = "Chichester", PUBLISHER = "John Wiley \& Sons",
+  YEAR = "1995 (to appear)"}
+
+@INPROCEEDINGS{vanHulzen:95,
+  AUTHOR = "J.A. van Hulzen",
+  TITLE = "Towards Automated Program Generation in Computer Algebra
+           Environments",
+  EDITOR = "A.M. Cohen and S.M. Verduyn Lunel",
+  BOOKTITLE = "{Computer Algebra in Industry, Problem Solving in Practice,
+               Proceedings of the 1992 SCAFI Seminar}",
+  ADDRESS = "Chichester", PUBLISHER = "John Wiley \& Sons",
+  YEAR = "1995 (to appear)"}
+
+@INPROCEEDINGS{Berger:92,
+  AUTHOR = "F.C. Berger and V.V. Goldman and M.C. van Heerwaarden
+            and J.A. van Hulzen",
+  TITLE = "Automatic generation of numerical code for {Jacobians and Hessians}",
+  EDITOR = "P.W. Gaffney and E.N. Houstis",
+  PAGES = "309-320",
+  BOOKTITLE = "Programming Environments for High-Level Scientific
+               Problem Solving",
+  ADDRESS = "Amsterdam", PUBLISHER = "North-Holland",
+  YEAR = 1992}
+
+@INPROCEEDINGS{Goldman:91,
+  AUTHOR = "V.V. Goldman and J.H.J. Molenkamp and J.A. van Hulzen",
+  TITLE = "Efficient Numerical Program Generation and Computer Algebra
+           Environments",
+  EDITOR = "A. Griewank and G.E. Corliss",
+  PAGES = "74-84",
+  BOOKTITLE = "{Automatic Differentiation of Algorithms: Theory, Implementation,
+               and Application}",
+  ADDRESS = "Philadelphia", PUBLISHER = "{SIAM}",
+  YEAR = 1991}
+
+@INPROCEEDINGS{Hearn:85,
+ AUTHOR = "Anthony C. Hearn",
+ TITLE = "Structure:  The Key to Improved Algebraic Computation",
+ EDITOR = "N. Inada and T. Soma",
+ YEAR = 1985,
+ BOOKTITLE = "Proc. of the Second {RIKEN} International
+ Symposium on Symbolic and Algebraic Computation by Computers",
+ PUBLISHER = "World Scientific", ADDRESS = "Singapore", PAGES = "215-230"}
+
+@INPROCEEDINGS{Hearn:86,
+ AUTHOR = "Anthony C. Hearn",
+ TITLE = "Optimal Evaluation of Algebraic Expressions",
+ EDITOR = "J. Calmet",
+ BOOKTITLE = "Proc. of {AAECC}-3, LNCS",
+  PUBLISHER = "Springer Verlag",
+  SERIES = "Springer {LNCS}",
+  ADDRESS = "Heidelberg",
+ YEAR = 1986, VOLUME = 229, PAGES = "392-403"}
+
+@ARTICLE{Knuth:71,
+  AUTHOR = "D. E. Knuth",
+  TITLE = "An empirical study of Fortran programs",
+  JOURNAL = "Software Practice and Experience",
+  VOLUME = 1, PAGES = "105-133", YEAR = 1971}
+
+@BOOK{Aho:86,
+  AUTHOR = "A. V. Aho and R. Sethi and J. D. Ullman",
+  TITLE = "Compiler Principles, Techniques and Tools",
+  ADDRESS = "Reading, Mass",
+  PUBLISHER = "Addison-Wesley",
+  YEAR = 1986}
+
+@ARTICLE{Gonzales,
+  AUTHOR = "T. Gonzales and J. Ja' Ja'",
+  TITLE = "Evaluation of arithmetic expressions with algebraic identities",
+  JOURNAL = "{SIAM} J. Comp", YEAR = 1982,
+  VOLUME = 11, NUMBER = 4, PAGES = "633-662"}
+
+@ARTICLE{Johnson:79,
+  AUTHOR = "B. B. Johnson and W. Miller and B. Minnihan and C. Wrathall",
+  TITLE = "Reducibility among floating-point graphs",
+  JOURNAL = "Journal of the {ACM}", VOLUME = 26, NUMBER = 4,
+  PAGES = "739-760", YEAR = 1979}
+
+@ARTICLE{Smit:81,
+  AUTHOR = "J. Smit and J.A. van Hulzen and B.J.A. Hulshof",
+  TITLE = "{NETFORM} and code optimizer manual",
+  JOURNAL = "{ACM SIGSAM} Bulletin",
+  VOLUME =15, NUMBER = 4, PAGES = "23-32",
+  YEAR = 1981}
+
+@INPROCEEDINGS{Smit:82,
+  AUTHOR = "J. Smit and J.A. van Hulzen",
+  TITLE = "Symbolic-numeric methods in microwave technology",
+  BOOKTITLE = "Proceedings {EUROCAM} '82",
+  EDITOR = "J. Calmet",
+  PUBLISHER = "Springer Verlag",
+  SERIES = "Springer {LNCS}",
+  VOLUME = 144, PAGES = "281-288",
+  ADDRESS = "Heidelberg",
+  YEAR = 1982}
+
+@INPROCEEDINGS{vanHulzen:83,
+  AUTHOR = "J.A. van Hulzen",
+  TITLE = "Code optimization of multivariate polynomial schemes: A pragmatic
+approach",
+  BOOKTITLE = "Proceedings {EUROCAL} '83",
+  EDITOR = "J.A. van Hulzen",
+  SERIES = "Springer {LNCS}",
+  VOLUME = 162, PAGES = "286-300",
+  ADDRESS = "Heidelberg", PUBLISHER = "Springer Verlag", YEAR = 1983}
+
+@INPROCEEDINGS{Wang:84,
+  AUTHOR = "P.S. Wang and T.Y.P. Chang and J.A. van Hulzen",
+  TITLE = "Code generation and optimization for finite element analysis",
+  BOOKTITLE = "Proceedings {EUROSAM} '84",
+  EDITOR = "J.P. Fitch",
+  SERIES = "Springer {LNCS}",
+  VOLUME = 174, PAGES = "237-247",
+  ADDRESS = "Heidelberg", PUBLISHER = "Springer Verlag", YEAR = 1984}
+
+@INPROCEEDINGS{Hulshof,
+  AUTHOR = "B.J.A. Hulshof and J.A. van Hulzen",
+  TITLE = "Automatic error cumulation control",
+  BOOKTITLE = "Proceedings {EUROSAM} '84",
+  EDITOR = "J.P. Fitch",
+  SERIES = "Springer {LNCS}",
+  VOLUME = 174, PAGES = "260-271",
+  ADDRESS = "Heidelberg", PUBLISHER = "Springer Verlag", YEAR = 1984}
+
+@INPROCEEDINGS{Heuvel:89,
+  AUTHOR = "P. van den Heuvel and J.A. van Hulzen and V.V. Goldman",
+  TITLE = "Automatic generation of {FORTRAN}-coded {Jacobians and Hessians}",
+  BOOKTITLE = "Proceedings {EUROCAL} '87",
+  EDITOR = "J.H. Davenport",
+  SERIES = "Springer {LNCS}",
+  VOLUME = 378, PAGES = "120-131",
+  ADDRESS = "Heidelberg", PUBLISHER = "Springer Verlag", YEAR = 1989}
+
+@INPROCEEDINGS{Goldman:89,
+  AUTHOR = "V.V. Goldman and J.A. van Hulzen",
+  TITLE = "Automatic code vectorization of arithmetic expressions by
+           bottom-up structure recognition",
+  BOOKTITLE = "Computer Algebra and Parallelism",
+  EDITOR = "J. Della Dora and J.P. Fitch",
+  PAGES = "119-132",
+  ADDRESS = "London",
+  PUBLISHER = "Academic Press", YEAR = 1989}
+
+@INPROCEEDINGS{vanHulzen:81,
+  AUTHOR = "J.A. van Hulzen",
+  TITLE = "Breuer's grow factor algorithm in computer algebra",
+  BOOKTITLE = "Proceedings {SYMSAC} '81",
+  EDITOR = "P.S. Wang",
+  PAGES = "100-104", ADDRESS = "New York", PUBLISHER = "{ACM} Press",
+  YEAR = 1981}
+
+@INPROCEEDINGS{Molenkamp:91,
+  AUTHOR = "J.H.J. Molenkamp and V.V. Goldman and J.A. van Hulzen",
+  TITLE = "An improved approach to automatic error cumulation control",
+  BOOKTITLE = "Proceedings {ISSAC} '91",
+  EDITOR = "S.M. Watt",
+  PAGES = "414-418", ADDRESS = "New York", PUBLISHER = "{ACM} Press",
+  YEAR = 1991}
+
+@ARTICLE{Breuer:69,
+  AUTHOR = "M.A. Breuer",
+  TITLE = "Generation of optimal code for expressions via factorization",
+  JOURNAL = "Communications of the {ACM}",
+  VOLUME = 12, NUMBER = 6, PAGES = "330-340", YEAR = 1969}
+
+@BOOK{Knuth:80,
+  AUTHOR = "D.E. Knuth",
+  TITLE = "The art of computer programming",
+  VOLUME = 2, EDITION = "Second", ADDRESS = "Reading, Mass",
+  PUBLISHER = "Addison-Wesley",
+  YEAR = 1980}
+
+@INPROCEEDINGS{vanHulzen:90,
+  AUTHOR = "J.A. van Hulzen",
+  TITLE = "Current trends in source-code optimization",
+  EDITOR = "D.V. Shirkov and V.A. Rostovtsev and V.P. Gerdt",
+  BOOKTITLE = "Proceedings {JINR IV} Conference on Computer Algebra and its
+                Applications in Theoretical Physics",
+  ADDRESS = "Dubna", MONTH = "May", YEAR = 1990,
+  NOTE = "Also available as Memorandum {\bf INF-90-41}, Department of
+Computer Science, University Twente"}
+