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