C-XSC: eine objekt-orientierte Programmierumgebung für verifiziertes wissenschaftliches Rechnen. - Christian Lawo (1992)

C-XSC: A C++ Class Library for Extended Scientific Computing - Ulrich W. Kulisch; Rudi Klatte; Andreas Wiethoff; Carola Wolff; George F. Corliss; Christian Lawo; Michael Rauch (C-XSC, 1993)