@Article{bdef,

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

title = {Abstract {B}eth definability in institutions},

journal = {Journal of Symbolic Logic},

year = 2006,

volume = 71,

number = 3,

pages = {1002--1028}

}