@InProceedings{Favre:1999:TOOLSP,
  author =       "Liliana Favre and Silvia Cl{\'e}rici",
  title =        "Integrating {UML} and Algebraic Specification
                  Techniques",
  booktitle =    "Proceedings of TOOLS Pacific 1999",
  editor =       "Christine Mingins",
  publisher =    "IEEE Computer Society",
  year =         "1999",
}