@misc{miscdeffea25,
title   = {Infinite words and a theorem of Hindman},
author = {Simon, Imre},
year = {1987},
publisher = {IME-USP}
}