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