You may perhaps find what you require at The Dedekind reals in Abstract Stone Duality User manual for the ASD lambda calculus or my home page.
Alternatively, you can search this site using Google: