Rigorous global search continuous problems - Kearfort, Baker R. (Kluwer Academic Publishers, 1996)