@InProceedings{Wieringa:1998:ECOOPWSPBS,
  author =       "Roel Wieringa",
  title =        "Formalizing the {UML} in a Systems Engineering Approach",
  pages =        "254--266",
  booktitle =    "Proceedings Second ECOOP Workshop on Precise Behavioral
                  Semantics (with an Emphasis on OO Business
                  Specifications)",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9813",
  year =         "1998",
}