A bitopological point-free approach to compactifications. - Olaf Karl Klinke (2012)