TY - BOOK AU - Ehrig Hartmut TI - Categorical methods in computer science with aspects from topology U1 - 004.0151 PY - 1989/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Topology ER -