Rigorous global search : continuous problems - Kearfott, R. Baker (Nonconvex optimization and its applications, 1996)