Samuele Buro, Roy L. Crole, Isabella Mastroeni: Equational Logic and Set-Theoretic Models for Multi-Languages. ICTCS 2020: 236-249