Brouwerian semilattices: The lattice of total subalgebras Peter Köhler (1982) Banach Center Publications