Glueing analysis for complemented subtoposes. Kock, Anders; Plewe, Till — 1996 Theory and Applications of Categories [electronic only]