4 works on record
Topology with Applications
Proximity spaces
Proximity spaces [by] S.A. Naimpally and B.D. Warrack
Proximity approach to general topology