Category theory applied to computation and control : proceedings of the first international symposium : San Francisco, february 25-26, 1974. (Lecture Notes in Computer Science, 1975)