A first—order constructive theory of nearness spaces (2000)

by Lumini¸ta Vî¸tă, Douglas Bridges