結果 : discrete mathematical structures with applications to computer science by tremblay and manohar