@book{schrijver1998theory,
  title={Theory of linear and integer programming},
  author={Schrijver, Alexander},
  year={1998},
  publisher={John Wiley \& Sons}
}

@article{Linear_Programming-AFP,
  author  = {Julian Parsert and Cezary Kaliszyk},
  title   = {Linear Programming},
  journal = {Archive of Formal Proofs},
  month   = aug,
  year    = 2019,
  note    = {\url{https://isa-afp.org/entries/Linear_Programming.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@article{Linear_Inequalities-AFP,
  author  = {Ralph Bottesch and Alban Reynaud and René Thiemann},
  title   = {Linear Inequalities},
  journal = {Archive of Formal Proofs},
  month   = jun,
  year    = 2019,
  note    = {\url{https://isa-afp.org/entries/Linear_Inequalities.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
