Language References:

• Januschke, Ratz:
  "A Survey of PASCAL-XSC and a Language Reference Supplement on Dynamic and Flexible Arrays" (Download)
• Klatte, Kulisch, Neaga, Ratz, Ullrich:
  "PASCAL-XSC Language Reference with Examples" (Download)
• Klatte, Kulisch, Neaga, Ratz, Ullrich:
  "PASCAL-XSC Sprachbeschreibung mit Beispielen" (Download)
• Klatte, Kulisch, Neaga, Ratz, Ullrich:
  "PASCAL-XSC in RUSSISCH"
• Allendörfer, Cordes:
  "PASCAL-XSC compiler documentation (User's Guide)" (pdf-format)

Numerical Toolbox:

• Hammer, Hocks, Kulisch, Ratz:
  "Numerical Toolbox for Verified Computing I, Basic Numerical Problems"
• Lohner, Kulisch, Krämer:
  "Numerical Toolbox for Verified Computing II, Advanced Numerical Problems"
  Draft Version, Karlsruhe 1994 ( 2,9 MB, gzipped Postscript 1,5 MB)

Other documentation:

• Weinberg: "Using PASCAL-XSC Flexible Arrays in C Functions - How to Create an Interface" (Postscript (369 KB), PDF (48 KB))