H. Ehrig, und H. Kreowski. Category Theory Applied to Computation and Control, Volume 25 von Lecture Notes in Computer Science, Seite 144-150. Springer, (1974)
H. Ehrig, W. Kühnel, und M. Pfender. Category Theory Applied to Computation and Control, Volume 25 von Lecture Notes in Computer Science, Seite 137-143. Springer, (1974)