@InProceedings{France:1997:OOBS,
  author =       "Robert B. France and Andy Evans and Kevin Lano",
  title =        "The {UML} as a Formal Modeling Notation",
  pages =        "75--81",
  booktitle =    "Proceedings OOPSLA'97 Workshop on Object-oriented
                  Behavioral Semantics",
  editor =       "Haim Kilov and Bernhard Rumpe and Ian Simmonds",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9737",
  year =         "1997",
}