Logic for applications - Nerode, Anil; Shore, Richard A (Springer Verlag, 1997)