Every Finite Topology is Generated by a Partial Pseudometric. - Asl Güldürdek; Tom Richmond (Order, 2005)