Branch-and-bound reduction type method for semi-infinite programming Book