Apartness and Uniformity - Bridges, Douglas S. (Springer Berlin Heidelberg, 2011)