Piotr Berman, Martin Fürer: Approximating Maximum Independent Set in Bounded Degree Graphs. SODA 1994: 365-371