Discrete mathematical structures with applications to computer science - Tremblay, J. P.; Manohar, R. (rz1, 1975)