S. Berner: New Results on Verified Global Optimization. Computing 57(4): 332-344 (1996)