@InProceedings{Kim:2000:APSEC,
  author =       "Soon-Kyeong Kim and David Carrington",
  title =        "An Integrated Framework with {UML} and {Object-Z} for
                  Developing a Precise Specification",
  booktitle =    "Proceedings of APSEC 2000",
  editor =       "N.N.",
  publisher =    "IEEE Computer Society",
  year =         "2000",
}