1. B.M. Acióly. Computational Foundation of Interval Mathematics (in portuguese). PhD thesis, CPGCC of the UFRGS, Porto Alegre-RS, 1991
2. A quasi-metric topology compatible with inclusion monotonicity on interval space;Acióly;Reliable Computing,1997
3. Categories, Types and Structures: An introduction to category theory for the working computer scientist;Asperti,1991
4. A computability on the interval space: A domain approach;Bedregal,1997
5. B.R.C. Bedregal. Continuous Information Systems: A Logical and Computational Approach to Interval Mathematics (in portugues). PhD thesis, DI-UFPE, Recife-PE, July 1996