@article{DBLP:journals/entcs/BoltonD02,
  title = "A comparison of refinement orderings and their associated simulation rules",
  author = "Christie Bolton and Jim Davies",
  year = "2002",
  journal = "Electronic Notes in Theoretical Computer Science",
  number = "3",
  url = "http://www.elsevier.com/gej-ng/31/29/23/125/48/show/Products/notes/index.htt\#010",
  volume = "70",
}