Harry Lewis and Rachel Zax (2019) Essential Discrete Mathematics for Computer Science. Princeton University Press. ISBN 978-0-691-17929-2 (Submitted)