"Categorial Methods in Computer Science.. With Aspects from Topology 1988" - читать интересную книгу автора (Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß)