You may perhaps find what you require at The Dedekind reals in Abstract Stone Duality The monadic principle in ASD or my home page.
Alternatively, you can search this site using Google: