Davorin Lesnik. Constructive Urysohn Universal Metric Space. J. UCS, 15(6):1236-1263, 2009. [doi]
@article{Lesnik09, title = {Constructive Urysohn Universal Metric Space}, author = {Davorin Lesnik}, year = {2009}, url = {http://www.jucs.org/jucs_15_6/constructive_urysohn_universal_metric}, researchr = {https://researchr.org/publication/Lesnik09}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {15}, number = {6}, pages = {1236-1263}, }