Discrete mathematical structures with applications to computer science - Tremblay, J. P. (New York, 1975)