Csendes, Tibor (ed.), Developments in reliable computing. SCAN-98 conference, 8th international symposium on Scientific computing, computer arithmetic and validated numerics. Budapest, Hungary, September 22-25, 1998. Dordrecht: Kluwer Academic Publishers. 383-402 (1999).
Kearfott, R. Baker (ed.) et al., Applications of interval computations. Proceedings of an international workshop, El Paso, TX, USA, February 23-25, 1995. Dordrecht: Kluwer Academic Publishers. Appl. Optim. 3, 405-416 (1996).
Ainsworth, M. (ed.) et al., Advances in numerical analysis. Vol. IV. Theory and numerics of ordinary and partial differential equations. Proceedings of the sixth SERC summer school in numerical analysis, Leicester, UK, July 18-29, 1994. Oxford: Clarendon Press. Oxford Science Publications. 1-75 (1995).
Atanassova, Lidiya (ed.) et al., Computer arithmetic and enclosure methods. Proceedings of the 3rd International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1-4 October 1991. Amsterdam: North-Holland. 361-370 (1992).
Atanassova, Lidiya (ed.) et al., Computer arithmetic and enclosure methods. Proceedings of the 3rd International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1-4 October 1991. Amsterdam: North-Holland. 289-298 (1992).