S. T. Harding, Christodoulos A. Floudas: Nonlinear Systems of Equations: Application to the Enclosure of All Azeotropes. Encyclopedia of Optimization 2009: 2637-2642