@Article{satmod,

author = {R\u{a}zvan Diaconescu and Marius Petria},

title = {Saturated models in institutions},

journal = {Archive for Mathematical Logic},

year = 2010,

volume = 49,

number = 6,

pages = {693--723}}