@inproceedings{DBLP:conf/webist/GuerraLM07,
  author    = {Esther Guerra and Juan de Lara and Alessio Malizia},
  title     = {Model Driven Formal Development of Digital Libraries},
  booktitle = {WEBIST (Selected Papers)},
  year      = {2007},
  pages     = {169-183},
  ee        = {http://dx.doi.org/10.1007/978-3-540-68262-2_13},
  crossref  = {DBLP:conf/webist/2007sp},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/webist/2007sp,
  editor    = {Joaquim Filipe and Jos{\'e} A. Moinhos Cordeiro},
  title     = {Web Information Systems and Technologies, Third International Conference, WEBIST 2007, Revised Selected Papers},
  booktitle = {WEBIST (Selected Papers)},
  publisher = {Springer},
  series    = {Lecture Notes in Business Information Processing},
  volume    = {8},
  year      = {2008},
  isbn      = {978-3-540-68257-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}