Proceedings on category theory applied to computation and control - Hartmanis J; Int symposium on category theory applied to computation and control (1974 : San Francisco); Goos G (Berlin Springer Verlag, 1975)
Keywords: Computers