P. David Coward Path feasibility, linear optimizers and the evaluate standard form. 47-56 1991 26 SIGPLAN Notices 1 http://doi.acm.org/10.1145/122203.122207 db/journals/sigplan/sigplan26.html#Coward91