@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}}