Lugar de publicación A Survey on Büchi's Problem: New Presentations and Open Problems. 377:111-140. 2010