@article{DBLP:journals/entcs/DaviesFW08,
  title = "Domain-specific Semantics and Data Refinement of Object Models",
  author = "Jim Davies and David Faitelson and James Welch",
  year = "2008",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "151--170",
  volume = "195",
  doi = "10.1016/j.entcs.2007.08.031",
}