Categorical methods in computer science with aspects from topology - Ehrig Hartmut (Berlin Springer Verlag, 1989)
Keywords: Computer science; Topology