Klinke, Olaf Karl (2012) A bitopological point-free approach to compactifications. Ph.D. thesis, University of Birmingham.