Discrete mathematics in computer science - Stanat, Donald F.; MacAllister, David F. (rz1, 1977)