Categorical methods in computer science: With aspects from topology - Ehrig H Ed.; Herrlich H Ed.; Kreowski H J Ed. (Berlin Springer-Verlag, 1989)
Keywords: Mathematical computer science