@book{book2781c830,
title   = {Números reais},
author = {Aragona Vallejo, Alfredo Jorge},
year = {2010},
publisher = {IME-USP}
}