Constructing the real numbers (1994)

by J R Harrison
Venue:in HOL, Formal Methods in System Design 5 (1/2