Mathematical Foundations of Software Engineering: A Practical Guide to Essentials - Gerard O'Regan (Springer Nature (Textbooks & Major Reference Works), 2023)