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