Discrete mathematical structures with applications to computer science - Tremblay, J P (1987)