Logic and language models for computer science - Hamburger, Henry (Prentice-Hall, 2002)