@inbook{inbook607fbaba,
title   = {Pascal: historia e transcendencia},
author = {Silva, F L},
year = {1993},
publisher = {Vozes},
journal   = {Dialetica e Liberdade: Festschrift em Homenagem a Carlos Roberto Cirne Lima}
}