Discrete mathematics in computer science - Stanat Donald F.; Mcallister David F. (Englewood Cliffs Prentice Hall, 1977)