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