@proceedings{topologyAndCategory, title = "Topology and category theory in computer science", year = "1991", editor = "A. W. Roscoe and G.M. Reed and R.F. Wachter", note = "proceedings of a special session at the 1989 Oxford Topology Conference", publisher = "{OUP}", }