Discrete mathematics in computer science - Stanat, Donald F. 1937- (Prentice-Hall, 1977)