Constructive real interpretation of numerical programs (1987)

by H J Boehm
Venue:SIGPLAN Notices