@inproceedings{DBLP:conf/birthday/FarahbodGGM09,
  author    = {Roozbeh Farahbod and
               Vincenzo Gervasi and
               Uwe Gl{\"a}sser and
               George Ma},
  title     = {CoreASM Plug-In Architecture},
  booktitle = {Rigorous Methods for Software Construction and Analysis},
  year      = {2009},
  pages     = {147-169},
  ee        = {http://dx.doi.org/10.1007/978-3-642-11447-2_10},
  crossref  = {DBLP:conf/birthday/2009borger},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/birthday/2009borger,
  editor    = {Jean-Raymond Abrial and
               Uwe Gl{\"a}sser},
  title     = {Rigorous Methods for Software Construction and Analysis,
               Essays Dedicated to Egon B{\"o}rger on the Occasion of
               His 60th Birthday},
  booktitle = {Rigorous Methods for Software Construction and Analysis},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5115},
  year      = {2009},
  isbn      = {978-3-642-11446-5},
  ee        = {http://dx.doi.org/10.1007/978-3-642-11447-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}