Apartness and Uniformity A Constructive Development - Bridges, Douglas S.; Vîţă, Luminiţa Simona (Springer Berlin Heidelberg, 2011)