Constructing the real numbers (1994)

by John Harrison
Venue:in HOL. Formal Methods in System Design, 5:35–59