Discrete mathematical structures for computer science (2. ed.). - Bernard Kolman; Robert C. Busby (Prentice Hall, 1986)