Introduction to discrete mathematics for software engineering - Denvir, Tim (Macmillan computer science series, 1986)