Categorical methods in computer science : with aspects from topology - Ehrig, Hartmut (Lecture notes in computer science, 1989)