Optimizing Programs over the Constructive Reals.

Vernon A. Lee Jr. Hans-Juergen Boehm Optimizing Programs over the Constructive Reals. 102-111 1990 PLDI db/conf/pldi/pldi90.html#LeeB90