@book{booke02b37a1,
title   = {Lógica para computação},
author = {Silva, Flávio Soares Corrêa da and Finger, Marcelo and Melo, Ana Cristina Vieira de},
year = {2006},
publisher = {Cengage Learning}
}