Topology and category theory in computer science - Reed, George M.; Roscoe, A. W.; Wachter, R. F. (Clarendon Press, 1991)