Logic for computer science - Reeves, Steve; Clarke, Michael (Addison-Wesley Publishing Company, 1990)