Recursive quasi-metric spaces

@article{Brattka2003RecursiveQS,
  title={Recursive quasi-metric spaces},
  author={Vasco Brattka},
  journal={Theor. Comput. Sci.},
  year={2003},
  volume={305},
  pages={17-42}
}