@misc{misc2a6a593e,
title   = {Semântica formal},
author = {Muller, Ana Lúcia de Paula and Negrão, Esmeralda Vailati and Foltran, Maria José},
year = {2003},
publisher = {Contexto}
}