Michael A. Bukatin Svetlana Yu. Shorina Partial Metrics and Co-continuous Valuations. 125-139 1998 conf/fossacs/1998 FoSSaCS http://link.springer.de/link/service/series/0558/bibs/1378/13780125.htm db/conf/fossacs/fossacs1998.html#BukatinS98