Eric Allender: The Division Breakthroughs. Bull. EATCS 74: 61-77 (2001)