@InProceedings{Oliver:1999:VOOMA,
  author =       "Ian Oliver and Stuart Kent",
  title =        "Validation of Object-Oriented Models using Animation",
  booktitle =    "Proceedings of EuroMicro'99, Milan, Italy",
  year =         "1999",
  month =         sep,
}