An Introduction to Discrete Mathematics, Formal System Specification, and Z - Ince (Oxford University PressOxford University Press, 2023)