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