Hammer, Rolf; Neaga, Michael; Ratz, Dietmar (1993): PASCAL-XSC - New Concepts for Scientific Computation and Numerical Data Processing In: Adams, Ernst; Kulisch, Ulrich (Hg.): Scientific Computing with Automatic Result: New York: Academic Press, S. 15-44
Ratz, Dietmar (1992): An Inclusion Algorithm for Global Optimization in a Portable PASCAL-XSC Implementation In: Herzberger, Jürgen; Atanassova, Lidiya (Hg.): Computer Arithmetic and Enclosure Methods: Elsevier; Amsterdam: North-Holland, S. 329-338
Hammer, Rolf; Neaga, Michael; Ratz, Dietmar; Shiriaev, D. (1991): PASCAL-XSC - A New Language for Scientific Computing. In: Interval Computations (2), S. 47-81
Ratz, Dietmar (1990): The Effects of the Arithmetic of Vector Computers on Basic Numerical Methods. In: IMACS Annals on Computing and Applied Mathematics (7), S. 499-514
Kulisch, Ulrich; Geörg, Stefan; Ratz, Dietmar (1989): Wissenschaftliches Rechnen mit Ergebnisverifikation - Eine Einführung. Berlin und Wiesbaden: Akademie Verlag und Vieweg