Voutsadakis, G. Categorical Abstract Algebraic Logic: Referential π-Institutions. B Sect Log 2015, 44, 33–51.