@InProceedings{Aoki:2001:WRKUML,
  author =       "Toshiaki Aoki and Takaaki Tateishi and Takuya Katayama",
  title =        "An Axiomatic Formalization of {UML} Models",
  pages =        "13--28",
  booktitle =    "Practical {UML}-Based Rigorous Development Methods -
                  Countering or Integrating the e{X}tremists. Workshop of
                  the {pUML}-Group held together with the UML 2001 October
                  1st, 2001 in Toronto, Canada",
  editor =       "Andy Evans and Robert France and Ana Moreira and Bernhard
                  Rumpe",
  publisher =    "German Informatics Society",
  series =       "LNI",
  volume =       "P-7",
  year =         "2001",
}