Quasi-metric and metric spaces
  We give a short review of a construction of Frink to obtain a metric space from a quasi-metric space. By an example we illustrate the limits of the construction. 
Viktor Schroeder