Voutsadakis G. Categorical Abstract Algebraic Logic: Referential π-Institutions. B Sect Log. 2015;44(1/2):33–51. doi:10.18778/0138-0680.44.1.2.05