Numerical toolbox for verified computing / Hammer R.,Hocks M.,Kulisch U.,Ratz D. Pt. 1 : Basic numerical problems : Theory,algorithms, and Pascal-XSC programs, 1993. - XIII,337 p. p. - Текст : непосредственный.
Pascal-XSC : Sprachbeschreibung mit Beispielen / R.Klatte,U.Kulisch,M.Neaga и др., 1991. - X, 345 S. 345 S. - Текст : непосредственный.