@misc{indiciaec404165b8af7,
  title = {Building a refinement checker for Z},
  author = {John Derrick and Siobhán North and Anthony J. H. Simons},
  year = {2011},
  doi = {10.4204/eptcs.55.3},
  url = {https://arxiv.org/abs/1106.4092},
  note = {Source identifier: 1106.4092}
}