1. Interval Analysis, Prentice Hall, New Jersey, 1966.
2. The algorithmic language triplex-Algol 60
3. Introduction to Algebraic Problems: Topics in Interval Analysis, Oxford University Press, 1969.
4. S-algol reference manual, University of St. Andreews, CS/79/1.
5. Computer Interval Arithmetic: Definition and Proof of Correct Implementation