Mosses, P. D. “Unified Algebras and Institutions”. DAIMI Report Series, vol. 18, no. 274, May 1989, doi:10.7146/dpb.v18i274.7628.