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