Machine generated authority record.

Work cat.: (UQROO)65046: Hertling, Peter. editor., Reliable Implementation of Real Number Algorithms: Theory and Practice