R. D. Kopperman, S. Matthews, and H. Pajoohesh, “Partial metrizability in value quantales”, Appl. Gen. Topol., vol. 5, no. 1, pp. 115–127, Apr. 2004.