@InProceedings{France:1997:FMOODS,
  author =       "Robert B. France and Jean-Michel Bruel and Maria
                  Larrondo-Petrie and M. Shroff",
  title =        "Exploring the Semantics of {UML} Type Structures with
                  {Z}",
  booktitle =    "Proc. 2nd IFIP Conf. Formal Methods for Open Object-Based
                  Distributed Systems (FMOODS'97)",
  year =         "1997",
  editor =       "H. Bowman and J. Derrick",
  publisher =    "Chapman and Hall, London",
}