Institution-independent model theory - Diaconescu, Razvan (Studies in universal logic, 2008)