@inproceedings{DBLP:conf/webist/GuerraLM07,
  author       = {Esther Guerra and
                  Juan de Lara and
                  Alessio Malizia},
  editor       = {Joaquim Filipe and
                  Jos{\'{e}} A. Moinhos Cordeiro},
  title        = {Model Driven Formal Development of Digital Libraries},
  booktitle    = {Web Information Systems and Technologies, Third International Conference,
                  {WEBIST} 2007, Barcelona, Spain, March 3-6, 2007, Revised Selected
                  Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {8},
  pages        = {169--183},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-68262-2\_13},
  doi          = {10.1007/978-3-540-68262-2\_13},
}