@misc{misc173ea845,
title   = {Verificação e validade de modelos de simulação},
author = {Dantas, Carlos Alberto Barbosa},
year = {1992},
publisher = {IME-USP}
}