Trembly, J P Discrete mathematical structre with application to computer science Dewey Class. No.: 591.4 Tre