@inproceedings{DBLP:conf/ifm/BoltonD02,
  title = "Refinement in {O}bject-{Z} and {CSP}",
  author = "Christie Bolton and Jim Davies",
  year = "2002",
  crossref = "DBLP:conf/ifm/2002",
  pages = "225-244",
  url = "http://link.springer.de/link/service/series/0558/bibs/2335/23350225.htm",
}