The maximum independent set problem and augmenting graphs - Hertz, Alain; Lozin, Vadim (Graph Theory and Combinatorial Optimization, 2005)