Applied discrete structures for computer science - Doerr, Alan; Levasseur, Kenneth (Science Research Assoc., 1985)