TY - BOOK AU - Ehrig H. et al Eds. TI - Categorical Methods in Computer Science with Aspects from Topology SN - 3540517227 CY - Berlin KW - Categorical Methods KW - Computer Science KW - Aspects KW - Topology ER -