Towards global optimisation : proceedings of a workshop at the University of Cagliari, Italy, October 1974