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