WAI'96: II Workshop on Computer Arithmetic, Interval and Symbolic Computation. - Marcilia A. Campos; Erich-Peter Klement; Vladik Kreinovich (Reliab. Comput., 1996)

Mechanising the theory of intervals using OBJ3. - Marcilia A. Campos; Augusto C. A. Sampaio; Alexandre H. F. Brainer (Reliab. Comput., 1996)