Logic for applications - Nerode, Anil (Springer, 1997)