G. Voutsadakis, “Categorical Abstract Algebraic Logic: Referential π-Institutions”, B Sect Log, vol. 44, no. 1/2, pp. 33–51, Jan. 2015.