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