-E.G. Manes (Ed.): Category Theory Applied to Computation and Control, Proceedings 1974, Springer-Verlag 1975