@InProceedings{Alvarez:2000:FMOODS,
  author =       "Ambrosio Toval Alvarez and Jose Luis Fernandez Aleman",
  title =        "Formally Modeling {UML} and its Evolution: A Holistic
                  Approach",
  booktitle =    "Formal Methods for Open Object-Based Distributed Systems
                  IV - Proc. FMOODS'2000, September, 2000, Stanford,
                  California, USA",
  year =         "2000",
  editor =       "Scott F. Smith and Carolyn L. Talcott",
  publisher =    "Kluwer Academic Publishers",
}