Global optimization: deterministic approaches - HORST (REINER) (1993)