E. Auer, A. Rauh, E. Hofer, and W. Luther. Reliable Implementation of Real Number Algorithms, volume 5045 of Lecture Notes in Computer Science, page 1-27. Springer, (2008)
M. Galkin, M. Vidal, and S. Auer. ADBIS (Short Papers and Workshops), volume 767 of Communications in Computer and Information Science, page 267-274. Springer, (2017)