Andrei Popescu Grigore Rosu Behavioral Extensions of Institutions. 331-347 2005 conf/calco/2005 CALCO http://dx.doi.org/10.1007/11548133_21 db/conf/calco/calco2005.html#PopescuR05