J. P. Tremblay Discreate mathematica structures with application to computer science - 1997 - Tata mc graw hill Dewey Class. No.: 511.1 / TRE