Voutsadakis, G. “Categorical Abstract Logic: Hidden Multi-Sorted Logics As Multi-Term π-Institutions”. Bulletin of the Section of Logic, vol. 45, no. 2, June 2016, pp. 111–124, doi:10.18778/0138-0680.45.2.04.