A tighter analysis of Piterman's Büchi determinization
scientific article; zbMATH DE number 5773829