"Formalization of Incremental Simplex Algorithm by Stepwise Refinement."

Mirko Spasic, Filip Maric (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics