Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 - Goos,G.ed (Lecture notes in computer science;25, 1975)