1. Logical arithmetic;Cleary;Future Computing Systems,1987
2. Sensitivity analysis in linear systems;Deif,1986
3. Bounding the solution of interval linear equations;Hansen;SIAM Journal on Numerical Analysis,1992
4. Topics in mathematical system theory;Kalman,1969
5. Interval analysis in the extended interval space;Kaucher;IR. Computing Supplement,1980