@InProceedings{Lano:1998:ECOOPWSPBS,
  author =       "Kevin Lano and Juan Bicarregui",
  title =        "Formalising the {UML} in Structured Temporal Theories",
  pages =        "105--121",
  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",
}