A constructive “Closed subgroup theorem” for localic groups and groupoids Peter T. Johnstone (1989) Cahiers de Topologie et Géométrie Différentielle Catégoriques
A direct description of uniform completion in locales and a characterization of L T -groups Igor Kříž (1986) Cahiers de Topologie et Géométrie Différentielle Catégoriques
A uniquely homogeneous space need not be a topological group Jan van Mill (1984) Fundamenta Mathematicae