@InProceedings{Evans:1998:WIFT,
  author =       "Andy Evans",
  title =        "Reasoning with the {Unified} {Modeling} {Language}",
  booktitle =    "Proc. Workshop on Industrial-Strength Formal
                  Specification Techniques (WIFT'98)",
  year =         "1998",
}