G. Voutsadakis, “Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions”, B Sect Log, vol. 45, no. 2, pp. 111–124, Jun. 2016.