@article{DBLP:journals/fac/DaviesC03,
  title = "Concurrency and Refinement in the Unified Modeling Language",
  author = "Jim Davies and Charles Crichton",
  year = "2003",
  journal = "Formal Aspects of Computing",
  number = "2-3",
  pages = "118-145",
  publisher = "Springer London",
  volume = "15",
  doi = "10.1007/s00165-003-0008-3",
}