Logic for applications - Nerode, Anil. (Graduate texts in computer science., 1997)