Source: http://www.columbia.edu/~cs2035/courses/csor4231.F09/lpdef.pdf