Tawarmalani, M., & Sahinidis, N. V. (2002). Convexification and global optimization in continuous and mixed-integer nonlinear programming: Theory, algorithms, software, and applications. Springer Science & Business Media.