https://1library.org/document/z1ermwey-chemical-and-phase-equilibria-through-deterministic-global-optimization.html