M. Heiner, D. Gilbert, and R. Donaldson. Formal Methods for Computational Systems Biology, page 215--264. Berlin, Heidelberg, Springer Berlin Heidelberg, (2008)
R. Lewis, V. Torczon, and M. Trosset. Journal of Computational and Applied Mathematics, 124 (1):
191 - 207(2000)Numerical Analysis 2000. Vol. IV: Optimization and Nonlinear Equations.