Proceeding on programming - Dezani-Ciancaglini M Ed.; International symposium on programming (1982 : Turin); Montanari U Ed. (Berlin Springer-Verlag, 1982)
Keywords: Optimization