E. Auer, R. Cuypers, E. Dyllong, S. Kiel, и W. Luther. Computer-assisted proofs - tools, methods and applications, том 09471 из Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)
E. Auer, A. Rauh, E. Hofer, и W. Luther. Reliable Implementation of Real Number Algorithms, том 5045 из Lecture Notes in Computer Science, стр. 1-27. Springer, (2008)
M. Galkin, M. Vidal, и S. Auer. ADBIS (Short Papers and Workshops), том 767 из Communications in Computer and Information Science, стр. 267-274. Springer, (2017)