@article{oai:tsukuba.repo.nii.ac.jp:00017335,
 author = {Dobbs, David E.},
 issue = {2},
 journal = {Tsukuba Journal of Mathematics},
 month = {Dec},
 pages = {325--336},
 title = {When is an ordered field a metric space ?},
 volume = {24},
 year = {2000}
}