John E. Mitchell: Integer Programming: Branch and Cut Algorithms. Encyclopedia of Optimization 2009: 1643-1650