Observations on determinization of Büchi automata. - Christoph Schulte Althoff; Wolfgang Thomas; Nico Wallmeier (Theor. Comput. Sci., 2006)