@misc{indiciae330c27b51492,
  title = {Unique Solutions of Contractions, CCS, and their HOL Formalisation},
  author = {Chun Tian and Davide Sangiorgi},
  year = {2018},
  doi = {10.4204/eptcs.276.10},
  url = {https://arxiv.org/abs/1808.08652},
  note = {Source identifier: 1808.08652}
}