Logic for applications. - Nerode, Anil (Texts and monographs in computer science, 1993)