Institution-independent model theory - Diaconescu, Răzvan (Studies in universal logic, 2008)