ウルリヒ・クリッシュ
W. L. Miranker (editor)と共著: A New Approach to Scientific Computation, Academic Press, New York, 1983.
W. L. Mirankerと共著: "The arithmetic of the digital computer: a new approach", SIAM Rev. 28 (1986) 1–40.
H.J. Stetter (editor)と共著, "Scientific Computation with Automatic Result Verification", Computing Supplementum, volume 6, Springer, Wien, 1988.
W. L. Mirankerと共著: Computer Arithmetic in Theory and Practice, Academic Press 1981.
R. Hammer, M. Hocks, D. Ratzと共著: C++ Toolbox for Verified Computing, Springer 1995.
Advanced Arithmetic for the Digital Computer – Design of Arithmetic Units, Springer-Verlag 2002.
Computer Arithmetic and Validity – Theory, Implementation, and Applications, de Gruyter 2008, 2nd edition, 2013.