Hall C., O'Donnell J. Discrete Mathematics Using a Computer 2ed 2006