Fan-Gottesman type compactification of frames Dharmanand Baboolal (1990) Commentationes Mathematicae Universitatis Carolinae