F. Moller and L. O’Reilly, “On Teaching Discrete Mathematics to Freshman Computer Science Students”, JHETP, vol. 19, no. 8, Dec. 2019.