@Article{edins,

author = {R\u{a}zvan Diaconescu},

title = {Elementary diagrams in institutions},

journal = {Journal of Logic and Computation},

year = 2004,

volume = 14,

number = 5,

pages = {651--674},

}