@article{DBLP:journals/entcs/DaviesC02,
  title = "Concurrency and Refinement in the Unified Modeling Language",
  author = "Jim Davies and Charles Crichton",
  year = "2002",
  booktitle = "REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002)",
  journal = "Electronic Notes in Theoretical Computer Science",
  number = "3",
  pages = "217-243",
  volume = "70",
  doi = "10.1016/S1571-0661(05)80494-3",
}