Isidore Fleischer The abstract Galois theory: a survey. 133-137 1988 conf/aluacs/1988 Algebraic Logic and Universal Algebra in Computer Science db/conf/aluacs/aluacs1988.html#Fleischer88 http://dx.doi.org/10.1007/BFb0043081