Posthoff C. Einfuhrung in die Programmierung mit Prolog / C.Posthoff,S.Schubert,D.R@:atz, 1990. - 90 S. - Текст : непосредственный.
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. - Текст : непосредственный.