@misc{indiciaea188d8e9b5e0,
  title = {Z-stability in Constructive Analysis},
  author = {Douglas Bridges and James Dent and Maarten McKubre-Jordens},
  year = {2016},
  doi = {10.2168/lmcs-12(3:10)2016},
  url = {https://arxiv.org/abs/1602.07368},
  note = {Source identifier: 1602.07368}
}