G. Bohlender
发表
G. Bohlender,
1990,
Computer Arithmetic and Self-Validating Numerical Methods.
Ulrich W. Kulisch,
G. Bohlender,
A. Knöfel,
1993
.