Gallier J. Mathematical Foundations and Aspects of Discrete Mathematics 2026