Decision and discrete mathematics - Compton, Chris; Rigby, Geoff (Hodder & Stoughton, 1992)