@incollection{PopRos:05,
  volume = {3629},
  title = {Behavioral extensions of institutions},
  year = {2005},
  booktitle = {Algebra and coalgebra in computer science},
  pages = {331--347},
  publisher = {Springer},
  address = {Berlin},
  author = {Popescu, Andrei and Ro{\c{s}}u, Grigore},
  series = {Lecture Notes in Comput. Sci.},
}