1. Bentley, H.L. The role of nearness spaces in topology. Proc.Conf. Categorical Topology, Mannheim 1975, pp 1–22, LNM 540, Springer-Verlag, Berlin 1976.
2. Bentley, H.L. and Herrlich, H. The forgetful functor Cont → Prox is topological. Questiones Math.
2 (1977), 44–57
3. Freyd, P. Abelian Categories: and introduction to the theory of functors, Harper and Row, New York 1964.
4. Give'on, Y. Transparent categories and categories of transition systems. Proc.Conf. Categorical Algebra, La Jolla 1965, pp 317–330, Springer, Berlin 1966.
5. Harvey, J.M. To separation in topological categories. Questiones Math.
2 (1977), 177–190.