Jawahar Chirimar Douglas J. Howe Implementing Constructive Real Analysis: Preliminary Report. 165-178 1991 conf/constructivity/1991 Constructivity in Computer Science db/conf/constructivity/constructivity1991.html#ChirimarH91