@inproceedings{sbmf2006,
  title = "Domain-Specific Semantics and Data Refinement of Object Models",
  author = "Jim Davies and David Faitelson and James Welch",
  year = "2006",
  booktitle = "Brazilian Symposium on Formal Methods (SBMF)",
}