Topology and category theory in computer science - Reed, G. M.; Roscoe, A. W.; Wachter, R. F. (Oxford science publications, 1991)