Optimization techniques : proceedings - Stoer, Josep ed (Springer, 1978)