BibTeX
@ARTICLE{
         Kearfott2000OSC,
       author = "R. Baker Kearfott",
       title = "On Stopping Criteria in Verified Nonlinear Systems or Optimization Algorithms",
       journal = "ACM Trans. Math. Software",
       pages = "373--389",
       key = "Kearfott2000OSC",
       referred = "[Kearfott2001TSM].",
       year = "2000",
       volume = "26",
       number = "3"
}