Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 /

بواسطة Goos,G.ed
منشور في 1975