@inproceedings{DBLP:conf/fmoods/BoltonD00,
  title = "Using Relational and Behavioural Semantics in the Verification of Object Models",
  author = "Christie Bolton and Jim Davies",
  year = "2000",
  crossref = "DBLP:conf/fmoods/2000",
  pages = "163-182",
}