Proceedings on fromalization of programming concepts - Diaz J; International collquium on formalization of programming concepts (1981 : Spain); Ramos I (Berlin Springer - Verlag, 1981)
Keywords: optimization