Category theory applied to computation and control proceedings...[of] - Manes, Ernest G., 1943- (Springer-Verlag, 1975)