Mathematical Foundations of Computer Science - Ashwin Lall (Taylor and Francis, 2024)