The duality theory for general convex quadratic programs Júdice, J.J. (1983/1984) Portugaliae mathematica
The Farkas lemma of Glover Charles W. Swartz (1985) Commentationes Mathematicae Universitatis Carolinae