Formal optimization of some reduced linear programming problems. - John A. Tomlin; J. S. Welch (Math. Program., 1983)

Integration of a Primal Simplex Network Algorithm with a Large-Scale Mathematical Programming System. - John A. Tomlin; J. S. Welch (ACM Trans. Math. Softw., 1985)