Mathematics for Computer Science .. Eric Lehman and Tom Leighton , Albert R meyer