Ehrig, Hartmut. <i>Categorical Methods in Computer Science : with Aspects from Topology</i>. Springer-Verlag, 1989.