Voutsadakis, G. Categorical Abstract Logic: Hidden Multi-Sorted Logics As Multi-Term π-Institutions. B Sect Log 2016, 45, 111–124.