Category theory applied to computation and control : proceedings of the first international symposium : San Francisco, february 25-26, 1974. (Springer Verlag, 1975)