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