IBGE. Contagem da população 2007 : Brasil, grandes regiões, unidades da federação e municípios [CD-ROM] (OR00487). Rio de Janeiro: IBGE, 2007