Optimization and approximation - Krabs, Werner, 1934- (Wiley, 1979)