Machine generated authority record.

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