Numerica a modeling language for global optimization - Van Hentenryck, Pascal. (MIT Press, 1997)