@misc{indiciae80b93ea29ba6,
  title = {Proceedings 17th International Workshop on Refinement},
  author = {John Derrick and Eerke Boiten and Steve Reeves},
  year = {2016},
  doi = {10.4204/eptcs.209},
  url = {https://arxiv.org/abs/1606.01344},
  note = {Source identifier: 1606.01344}
}