\footnotesize
\begin{thebibliography}{99}
  \bibitem{psc10} American National Standards Institute / Institute of
                  Electrical and Electronic Engineers:
                  {\em A Standard for Binary Floating-Point Arithmetic.}
                  ANSI/IEEE Std. 754-1985,
                  New York,
                  1985.

  \bibitem{psc20} Bleher, J. H., Rump, S. M., Kulisch, U., Metzger, M.,
                  Ullrich, Ch., and Walter, W.:
                  {\em FORTRAN-SC: A Study of a FORTRAN Extension for
                  Engineering/Scientific Computation with Access to ACRITH}.
                  Computing {\bf 39},
                  93 - 110,
                  1987.

  \bibitem{psc1}  Bohlender, G., Gr\"uner, K., Kaucher, E., Klatte, R.,
                  Kr\"amer, W., Kulisch, U., Rump, S., Ullrich, Ch.,
                  Wolff von Gudenberg, J., and Miranker, W.:
                  {\em PASCAL-SC: A PASCAL for Contemporary Scientific
                  Computation}. Research Report RC 9009,
                  IBM Thomas J.\ Watson Research Center,
                  Yorktown Heights,
                  New York,
                  1981.

  \bibitem{psc2}  Bohlender, G., Gr\"uner, K., Kaucher, E., Klatte, R.,
                  Kulisch, U., Neaga, M., Ullrich, Ch., and
                  Wolff von Gudenberg, J.:
                  {\em PASCAL-SC Language Definition}.
                  Internal Report of the Institute for Applied Mathematics,
                  University of Karlsruhe,
                  1985.

  \bibitem{psc3}  Bohlender, G., Rall, L., Ullrich, Ch., and Wolff von
                  Gudenberg, J.:
                  {\em PASCAL-SC: A Computer Language for Scientific
                  Computation}.
                  Academic Press,
                  New York,
                  1987.

  \bibitem{psc12} Bohlender, G., Rall, L., Ullrich, Ch.\ und Wolff von
                  Gudenberg, J.:
                  {\em PASCAL-SC -- Wirkungsvoll programmieren, kontrolliert
                  rechnen}.
                  Bibliographisches Institut,
                  Mannheim,
                  1986.

  \bibitem{psc11} Buchholz, W.:
                  {\em The IBM System/370 Vector Architecture.}
                  IBM Systems Journal 25/1,
                  1986.

  \bibitem{psc4}  D\"a{\ss}ler, K.\ und Sommer, M.:
                  {\em PASCAL, Einf\"uhrung in die Sprache}.
                  Norm Entwurf DIN 66256, Erl\"auterungen.
                  Springer,
                  Berlin,
                  1983.

  \bibitem{hammer} Hammer, R.:
                  {\em How Reliable is the Arithmetic of Vector Computers?}
                  In: \cite{ullrich}, 1990.

  \bibitem{psc4a} IBM {\em High-Accuracy Arithmetic Subroutine Library}
                  (ACRITH).
                  General Information Manual,
                  GC 33-6163-02, 3rd Edition,
                  1986.

  \bibitem{psc4b} IBM {\em High-Accuracy Arithmetic Subroutine Library}
                  (ACRITH).
                  Program Description and User's Guide,
                  SC 33-6164-02, 3rd Edition,
                  1986.

  \bibitem{psc17} Kaucher, E., Kulisch, U., and Ullrich, Ch. (Eds.):
                  {\em Computer Arithmetic -- Scientific Computation and
                  Programming Languages}.
                  Teubner,
                  Stuttgart,
                  1987.

  \bibitem{psc16} Kirchner, R. and Kulisch, U.:
                  {\em Accurate Arithmetic for Vector Processors}.
                  Journal of Parallel and Distributed Computing {\bf 5},
                  250-270,
                  1988.

  \bibitem{pxscbuch} Klatte, R., Kulisch, U., Neaga, M., Ratz, D. und
                  Ullrich, Ch.:
                  {\em PASCAL--XSC Sprachbeschreibung mit Beispielen}.
                  Springer,
                  Heidelberg,
                  1991.

  \bibitem{pxscbook} Klatte, R., Kulisch, U., Neaga, M., Ratz, D. und
                  Ullrich, Ch.:
                  {\em PASCAL--XSC Language Reference with Examples}.
                  To be published by
                  Springer,
                  Heidelberg,
                  1991/92.

  \bibitem{psc8}  Kulisch, U. (Ed.):
                  {\em PASCAL-SC: A PASCAL Extension for Scientific
                  Computation},
                  Information Manual and Floppy Disks,
                  Version ATARI ST.
                  Teubner,
                  Stuttgart,
                  1987.

  \bibitem{psc13} Kulisch, U. (Ed.):
                  {\em PASCAL-SC: A PASCAL Extension for Scientific
                  Computation},
                  Information Manual and Floppy Disks,
                  Version IBM PC/AT (DOS).
                  \mbox{Teubner},
                  Stuttgart,
                  1987.

  \bibitem{tagungsband} Kulisch, U. (Hrsg.):
                  {\em Wissenschaftliches Rechnen mit Ergebnisverifikation --
                  Eine Einf\"uhrung}.
                  Akademie Verlag, Ost-Berlin, Vieweg, Wiesbaden, 1989.

  \bibitem{psc5}  Kulisch, U.\ and Miranker, W. L.:
                  {\em Computer Arithmetic in Theory and Practice}.
                  Academic Press,
                  New York,
                  1981.

  \bibitem{psc5a} Kulisch, U.\ and Miranker, W. L.:
                  {\em The Arithmetic of the Digital Computer: A New Approach}.
                  SIAM Review, Vol.\ 28, No.\ 1,
                  1986.

  \bibitem{psc15} Kulisch, U.\ and Miranker, W. L. (Eds.):
                  {\em A New Approach to Scientific Computation}.
                  Academic Press,
                  New York,
                  1983.

  \bibitem{psc18} Kulisch, U.\ and Stetter, H. J. (Eds.):
                  {\em Scientific Computation with Auto\-matic Result
                  Verification}.
                  Computing Suppl.\ {\bf 6},
                  Springer,
                  Wien,
                  1988.

  \bibitem{psc6}  Neaga, M.:
                  {\em Erweiterungen von Programmiersprachen f\"ur
                  wis\-sen\-schaft\-liches Rechnen und Er\"orterung einer
                  Implementierung}.
                  Dissertation,
                  Universit\"at Kaiserslautern,
                  1984.

  \bibitem{psc19} Neaga, M.:
                  {\em PASCAL-SC -- Eine PASCAL-Erweiterung f\"ur
                  wis\-sen\-schaft\-liches Rechnen}.
                  In: \cite{tagungsband},
                  1989.

  \bibitem{ratz} Ratz, D.:
                  {\em The Effects of the Arithmetic of Vector Computers on
                  Basic Numerical Methods}.
                  In: \cite{ullrich}, 1990.

  \bibitem{psc14} Rump, S. M.:
                  {\em Solving Algebraic Problems with High Accuracy}.
                  In: \cite{psc15}, 1983.

  \bibitem{ullrich} Ullrich, Ch.\ (Ed.):
                  {\em Contributions to Computer Arithmetic and Self-Validating
                  Numerical Methods}.
                  J. C. Baltzer AG, Scientific Publishing Co.,
                  IMACS,
                  1990.

  \bibitem{psc7}  Wolff von Gudenberg, J.:
                  {\em Einbettung allgemeiner Rechnerarithmetik in PASCAL
                  mittels eines Operatorkonzeptes und Implementierung
                  der Standardfunktionen mit optimaler Genauigkeit}.
                  Dissertation,
                  Universit\"at Karlsruhe,
                  1980.
\end{thebibliography}
