H. Ehrig, W. Kühnel, и M. Pfender. Category Theory Applied to Computation and Control, том 25 из Lecture Notes in Computer Science, стр. 137-143. Springer, (1974)
A. Corradini, H. Ehrig, M. Löwe, U. Montanari, и F. Rossi. Dagstuhl Seminar on Graph Transformations in Computer Science, том 776 из Lecture Notes in Computer Science, стр. 86-103. Springer, (1993)