Danièle Beauquier, Maurice Nivat, Damian Niwinski:About the Effect of the Number of Successful Paths in an Infinite Tree on the Recognizability by a Finite Automaton with Büchi Conditions.FCT1991: 136-145