P. D. Mosses, “Unified Algebras and Institutions”, DPB, vol. 18, no. 274, May 1989.