Swamy, 1974. Representation of Universal Algebras by Sheaves 45.. https://doi.org/10.2307/2040605