Global Optimization with Non-Convex Constraints by Roman G. Strongin & Yaroslav D. Sergeyev