@BOOK {700,
author={A. Sernadas and C. Sernadas},
editor={},
title={Fundamentos de Lógica e Teoria da Computação - Segunda Edição},
publisher={College Publications},
year={2012}
}