Check out our invited paper on Büchi complementation to Thomas Henzinger Festschrift - Conference celebrating his 60th birthday.