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