Труды Международной конференции по численному анализу с автоматической верификацией результатов, Лафайетт, Луизиана, США, 25 февраля ― 1 марта 1993. — Санкт-Петербург. — Москва : [б. и.], 1993. — 211 c. — (Интервальные вычисления ; специальный выпуск № 2) - Труды Международной конференции по численному анализу с автоматической верификацией результатов (1993; Лафайетт) (Интервальные вычисления, 1993)