Discrete mathematical structures for computer science (Englewood Cliffs, N.J. : Prentice-Hall, 1987)