You may perhaps find what you require at Subspaces in Abstract Stone Duality Normalisation for types or my home page.
Alternatively, you can search this site using Google: