Logic for computer science - Reeves, Steve; Clarke, Michael (Addison-Wesley, 1993)