Ehrig, H. (1989). <i>Categorical methods in computer science : with aspects from topology</i>. Springer-Verlag.