@inproceedings{DBLP:conf/ifm/BoltonDW99,
  title = "On the Refinement and Simulation of Data Types and Processes",
  author = "Christie Bolton and Jim Davies and Jim Woodcock",
  year = "1999",
  crossref = "DBLP:conf/ifm/1999",
  pages = "273-292",
}